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
tripu / japan-todo.md
Last active Nov 26, 2019
My Japanese to-do list
View japan-todo.md
@tripu
tripu / backup-github.sh
Last active Aug 20, 2019 — forked from rodw/backup-github.sh
A simple script to backup an organization's GitHub repositories, wikis and issues.
View backup-github.sh
#!/bin/bash
# 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 https://gist.github.com/darktim/5582423
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
tripu / workstation-setup.md
Last active May 28, 2019
Workstation setup cheat sheet
View workstation-setup.md

Workstation setup cheat sheet

Last: Ubuntu 17.04 Zesty Zapus

/et/apt/sources.list

deb       http://archive.canonical.com/ubuntu  zesty           partner main universe restricted multiverse
deb       http://es.archive.ubuntu.com/ubuntu/ zesty           main universe restricted multiverse
deb       http://es.archive.ubuntu.com/ubuntu/ zesty-backports main universe restricted multiverse
@tripu
tripu / docker-tags.sh
Created Mar 22, 2019
List or filter all tags for a given Docker image
View docker-tags.sh
#!/bin/sh
# All tags of Docker image "circleci/node" (raw JSON):
curl https://registry.hub.docker.com/v1/repositories/circleci/node/tags
# All images and their tags from CircleCI's own Docker registry (raw JSON):
curl https://circleci.com/docs/2.0/docker-image-tags.json
# All tags of Docker image "circleci/node", formatting JSON output:
curl https://registry.hub.docker.com/v1/repositories/circleci/node/tags | jq .
@tripu
tripu / .gitconfig
Last active Feb 18, 2019
Git config file
View .gitconfig
[alias]
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
tripu / vs-ext-to-md.md
Last active Jan 28, 2019
One-liner to dump all installed VS Code extensions as a Markdown list
View vs-ext-to-md.md

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

Example

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](https://marketplace.visualstudio.com/items?itemName=$i)"
>     done
@tripu
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.