Skip to content

Instantly share code, notes, and snippets.

@tripu
tripu / calendar-madrid-colmenar-2023.txt
Created January 11, 2023 09:59
All public holidays in 2023 for Madrid city and Colmenar Viejo (Spain), in RTM format
Public holiday (Spain): Viernes Santo !1 #Spain #holiday #weekend ^7 Apr 2023
Public holiday (Spain): Día del trabajo !1 #Spain #holiday #weekend ^1 May 2023
Public holiday (Spain): Asunción de la Virgen !1 #Spain #holiday ^15 Aug 2023
Public holiday (Spain): Fiesta Nacional !1 #Spain #holiday ^12 Oct 2023
Public holiday (Spain): Todos los Santos !1 #Spain #holiday ^1 Nov 2023
Public holiday (Spain): Día de la Constitución !1 #Spain #holiday ^6 Dec 2023
Public holiday (Spain): Inmaculada Concepción !1 #Spain #holiday #weekend ^8 Dec 2023
Public holiday (Spain): Navidad !1 #Spain #holiday #weekend ^25 Dec 2023
Public holiday (Madrid region): Epifanía del Señor !1 #Spain #holiday #Madridregion #weekend ^6 Jan 2023
@tripu
tripu / school-madrid-2022-2023.txt
Last active August 26, 2022 14:23
School calendar 2022/2023 for the Madrid region, in RTM format
First day of school !1 #kids #school ^7 sep
No school !1 #kids #school ^12 oct
No school !1 #kids #school #weekend ^31 oct
No school !1 #kids #school #weekend ^1 nov
No school !1 #kids #school #weekend ^5 dec
No school !1 #kids #school #weekend ^6 dec
No school !1 #kids #school #weekend ^7 dec
No school !1 #kids #school #weekend ^8 dec
Start of Christmas holidays !1 #kids #school #weekend ^23 dec
First day of school !1 #kids #school #weekend ^9 jan
@tripu
tripu / calendar-madrid-2022.txt
Last active October 18, 2021 14:51
All public holidays in 2022 for Madrid city (Spain), in RTM format
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 September 20, 2021 09:41 — forked from pierrejoubert73/markdown-details-collapsible.md
How to add a collapsible section in markdown.

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 December 2, 2020 21:22
All public holidays in 2021 for Madrid city (Spain), in RTM format
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 July 6, 2020 07:39
How to download a copy of all your bookmarks

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 September 28, 2021 09:26
How to generate an HTML photo gallery
@tripu
tripu / npm-setup.md
Last active February 2, 2022 09:06
My npm setup, and useful global packages
@tripu
tripu / calendar-madrid-2020.txt
Created December 14, 2019 16:14
All public holidays in 2020 for Madrid city (Spain), in RTM format
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 March 22, 2019 08:17
List or filter all tags for a given Docker image
#!/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 .