tripu

Limitations

This is for a Unix shell (because of for, cut, wget, etc) and for Firefox (because FF exports bookmarks as JSON, where each entry has a uri property). YMMV.

Preparation

1. Make sure you have wget installed
2. Install jq

tripu

(See also my npm setup, and useful global packages)

Commands for Node.js development and debugging

• Run
  • App
  • Tests
• Run in strict mode
  • App
• Tests

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

• 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

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