tripu

Public holiday (Spain):         Año Nuevo               !1 #Spain #holiday                        ^1  Jan 2020
Public holiday (Spain):         Epifanía del Señor      !1 #Spain #holiday               #weekend ^6  Jan 2020
Public holiday (Spain):         Jueves Santo            !1 #Spain #holiday               #weekend ^9  Apr 2020
Public holiday (Spain):         Viernes Santo           !1 #Spain #holiday               #weekend ^10 Apr 2020
Public holiday (Spain):         Fiesta del Trabajo      !1 #Spain #holiday               #weekend ^1  May 2020
Public holiday (Madrid region): Fiesta de la CAM        !2 #Spain #holiday #Madridregion #weekend ^2  May 2020
Public holiday (Madrid city):   San Isidro Labrador     !1 #Spain #holiday #Madridcity   #weekend ^15 May 2020
Public holiday (Spain):         Asunción de la Virgen   !2 #Spain #holiday               #weekend ^15 Aug 2020
Public holiday (Spain):         Fiesta de la Hispanidad !1 #Spain #holiday               #weekend ^12 Oct 2020
Public holiday (Spain):  

tripu

My Japanese to-do list

NB: If you're looking for ideas to plan you short trip to Japan, check out Dos semanas en Japón: ideas y consejos (in Spanish)

Go

Five areas, nine regions, 47 prefectures

1. 北海道 (Hokkaidō): island, region and largest prefecture.
2. 本州 (Honshū): largest island

tripu

#!/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

• 80,000 Hours Podcast with Rob Wiblin
• 99% Invisible
• Alpha
• Best of Today
• Cerca de Shibuya
• Code on the rocks
• Common Sense with Dan Carlin
• Conversations with Tyler
• Disrupting Japan
• Easy Japanese - NHK WORLD RADIO JAPAN

tripu

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

#!/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

[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

.vscode/

tripu

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

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):