Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
monochromatic
on Sept 1, 2015
|
parent
|
context
|
favorite
| on:
Google PDF Search: “not for public release”
If the results are identical, then who cares? If it's just a matter of saving five keystrokes, I wonder if your 60-keystroke comment was a good use of time...
wut42
on Sept 1, 2015
[–]
it may have more results with the filetype, some server generated PDFs doesn't always have the extension.
qupear
on Sept 1, 2015
|
parent
[–]
Isn't ext just an alias for filetype?
http://www.googleguide.com/advanced_operators_reference.html
knd775
on Sept 1, 2015
|
root
|
parent
|
next
[–]
Then what in the world are you arguing?
MaulingMonkey
on Sept 2, 2015
|
root
|
parent
|
prev
[–]
"This is an
undocumented
alias for filetype:" (emphasis added)
Seems like reason enough to avoid ext: and/or be ignorant of it.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
