Skip to content

Instantly share code, notes, and snippets.

Avatar

tripu tripu

View GitHub Profile
@tripu
tripu / school-madrid-2022-2023.txt
Last active Aug 26, 2022
School calendar 2022/2023 for the Madrid region, in RTM format
View school-madrid-2022-2023.txt
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 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 .