Skip to content

Instantly share code, notes, and snippets.

Working from home

tripu tripu

Working from home
Block or report user

Report or block tripu

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
tripu /
Last active Nov 26, 2019
My Japanese to-do list
tripu /
Last active Aug 20, 2019 — forked from rodw/
A simple script to backup an organization's GitHub repositories, wikis and issues.
# A simple script to backup an organization's GitHub repositories.
# NOTE: if you have more than 100 repositories, you'll need to step thru the list of repos
# returned by GitHub one page at a time, as described at
GHBU_BACKUP_DIR=${GHBU_BACKUP_DIR-"github-backups"} # where to place the backup files
GHBU_ORG=${GHBU_ORG-"<CHANGE-ME>"} # the GitHub organization whose repos will be backed up
# (if you're backing up a user's repos instead, this should be your GitHub username)
GHBU_UNAME=${GHBU_UNAME-"<CHANGE-ME>"} # the username of a GitHub account (to use with the GitHub API)
tripu /
Last active May 28, 2019
Workstation setup cheat sheet

Workstation setup cheat sheet

Last: Ubuntu 17.04 Zesty Zapus


deb  zesty           partner main universe restricted multiverse
deb zesty           main universe restricted multiverse
deb zesty-backports main universe restricted multiverse
tripu /
Created Mar 22, 2019
List or filter all tags for a given Docker image
# All tags of Docker image "circleci/node" (raw JSON):
# All images and their tags from CircleCI's own Docker registry (raw JSON):
# All tags of Docker image "circleci/node", formatting JSON output:
curl | jq .
tripu / .gitconfig
Last active Feb 18, 2019
Git config file
View .gitconfig
ap = add -p
br = branch
cf = config
ci = commit
co = checkout
df = diff
lg = log --graph --abbrev-commit --decorate --date=relative --format=format:'%C(bold blue)%h%C(reset) - %C(bold green)(%ar)%C(reset) %C(white)%s%C(reset) %C(dim white)- %an%C(reset)%C(bold yellow)%d%C(reset)' --all
pl = pull
ps = push
tripu /
Last active Jan 28, 2019
One-liner to dump all installed VS Code extensions as a Markdown list

This is a script I just wrote to share my installed extensions easily on this other Gist.


user@host:~/whatever/dir$ (
>     for i in `ls ~/.vscode/extensions/ | rev | cut -d '-' -f 2- | rev`; do
>         NAME=$(cat ~/.vscode/extensions/$i*/package.json | jq .displayName | cut -d \" -f 2)
>         echo "* [$NAME]($i)"
>     done
tripu / calendar-madrid-2019.txt
Created Dec 21, 2018
All public holidays in 2019 for Madrid city (Spain), in RTM format
View calendar-madrid-2019.txt
Public holiday (Spain): Año Nuevo !1 #Spain #holiday ^1 Jan 2019
Public holiday (Spain): Epifanía del Señor !1 #Spain #holiday #weekend ^7 Jan 2019
Public holiday (Spain): Jueves Santo !1 #Spain #holiday #weekend ^18 Apr 2019
Public holiday (Spain): Viernes Santo !1 #Spain #holiday #weekend ^19 Apr 2019
Public holiday (Spain): Fiesta del Trabajo !1 #Spain #holiday ^1 May 2019
Public holiday (Madrid region): Fiesta de la CAM !1 #Spain #holiday #Madridregion ^2 May 2019
Public holiday (Madrid city): San Isidro Labrador !1 #Spain #holiday #Madridcity ^15 May 2019
Public holiday (Spain): Asunción de la Virgen !1 #Spain #holiday ^15 Aug 2019
Public holiday (Spain): Fiesta de la Hispanidad !1 #Spain #holiday #weekend ^12 Oct 2019
Public holiday (Spain):
You can’t perform that action at this time.