Skip to content

Instantly share code, notes, and snippets.

@xhochy
Last active August 29, 2015 14:01
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save xhochy/ecbc8658318360e98d18 to your computer and use it in GitHub Desktop.
Save xhochy/ecbc8658318360e98d18 to your computer and use it in GitHub Desktop.
ids = set()
with gzip.open(ids_file, 'rt') as idsf:
for id in idsf:
# Be careful to always stip the newline character at the end
ids.add(id.strip())
val ids = Resource.fromInputStream(new GZIPInputStream(new FileInputStream(locationIdsFile))).lines().toSet
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment