Skip to content

Instantly share code, notes, and snippets.

Avatar

tripu tripu

View GitHub Profile
@tripu
tripu / calendar-madrid-2022.txt
Last active Oct 18, 2021
All public holidays in 2022 for Madrid city (Spain), in RTM format
View calendar-madrid-2022.txt
Public holiday (Spain): Año Nuevo !1 #Spain #holiday #weekend ^1 Jan 2022
Public holiday (Spain): Epifanía del Señor !1 #Spain #holiday ^6 Jan 2022
Public holiday (Spain): Jueves Santo !1 #Spain #holiday #weekend ^14 Apr 2022
Public holiday (Spain): Viernes Santo !1 #Spain #holiday #weekend ^15 Apr 2022
Public holiday (Madrid region): Fiesta de la CAM !1 #Spain #holiday #Madridregion #weekend ^2 May 2022
Public holiday (Madrid city): San Isidro Labrador !1 #Spain #holiday #Madridcity #weekend ^16 May 2022
Public holiday (Spain): Santiago Apóstol !1 #Spain #holiday #weekend ^25 Jul 2022
Public holiday (Spain): Asunción de la Virgen !1 #Spain #holiday #weekend ^15 Aug 2022
Public holiday (Spain): Fiesta Naconal de España !1 #Spain #holiday ^12 Oct 2022
Public holiday (
@tripu
tripu / markdown-details-collapsible.md
Created Sep 20, 2021 — forked from pierrejoubert73/markdown-details-collapsible.md
How to add a collapsible section in markdown.
View markdown-details-collapsible.md

A collapsible section containing markdown

Click to expand!

Heading

  1. A numbered
  2. list
    • With some
    • Sub bullets
@tripu
tripu / calendar-madrid-2021.txt
Last active Dec 2, 2020
All public holidays in 2021 for Madrid city (Spain), in RTM format
View calendar-madrid-2021.txt
Public holiday (Spain): Año Nuevo !1 #Spain #holiday #weekend ^1 Jan 2021
Public holiday (Spain): Epifanía del Señor !1 #Spain #holiday ^6 Jan 2021
Public holiday (Spain): San José !1 #Spain #holiday #weekend ^19 Mar 2021
Public holiday (Spain): Jueves Santo !1 #Spain #holiday #weekend ^1 Apr 2021
Public holiday (Spain): Viernes Santo !1 #Spain #holiday #weekend ^2 Apr 2021
Public holiday (Spain): Fiesta del Trabajo !1 #Spain #holiday #weekend ^1 May 2021
Public holiday (Madrid region): Fiesta de la CAM !1 #Spain #holiday #Madridregion #weekend ^3 May 2021
Public holiday (Madrid city): San Isidro Labrador !1 #Spain #holiday #Madridcity #weekend ^15 May 2021
Public holiday (Spain): Fiesta Naconal de España !1 #Spain #holiday ^12 Oct 2021
Public holiday (
@tripu
tripu / download-bookmarks.md
Last active Jul 6, 2020
How to download a copy of all your bookmarks
View download-bookmarks.md

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
tripu / photo-gallery.md
Last active Sep 28, 2021
How to generate an HTML photo gallery
View photo-gallery.md
@tripu
tripu / npm-setup.md
Last active Feb 2, 2022
My npm setup, and useful global packages
View npm-setup.md
@tripu
tripu / calendar-madrid-2020.txt
Created Dec 14, 2019
All public holidays in 2020 for Madrid city (Spain), in RTM format
View calendar-madrid-2020.txt
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
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