Skip to content

Instantly share code, notes, and snippets.

@deniak
deniak / cities1000.sh
Created August 18, 2022 15:56
Script generating a json listing all cities with population above 1000. Returns countries , geoname ID, city name, alternate names and administrative division
#!/bin/bash
# Download https://download.geonames.org/export/dump/cities1000.zip and unzip it
# Download https://download.geonames.org/export/dump/admin1CodesASCII.txt
RESULT="cities1000.json"
rm -f $RESULT
echo "[" > $RESULT
IFS='|'
#!/bin/bash
#
# initd-example Node init.d
# update of https://gist.github.com/jinze/3748766
#
# description: Node init.d example
# processname: node
# pidfile: /var/run/initd-example.pid
# logfile: /var/log/initd-example.log
#
{
"action": "synchronize",
"number": 1013,
"pull_request": {
"url": "https://api.github.com/repos/w3c/web-platform-tests/pulls/1013",
"id": 16324259,
"html_url": "https://github.com/w3c/web-platform-tests/pull/1013",
"diff_url": "https://github.com/w3c/web-platform-tests/pull/1013.diff",
"patch_url": "https://github.com/w3c/web-platform-tests/pull/1013.patch",
"issue_url": "https://api.github.com/repos/w3c/web-platform-tests/issues/1013",
{
"ref": "refs/heads/submission/sideshowbarker/move-workers-idl",
"after": "53168510e48239ff4f78e8b4129a970cd26b20f2",
"before": "522eeee9b29d043aad89147c10cc1b3c7c890ab0",
"created": false,
"deleted": false,
"forced": false,
"compare": "https://github.com/w3c/web-platform-tests/compare/522eeee9b29d...53168510e482",
"commits": [
{