Skip to content

Instantly share code, notes, and snippets.

Avatar

tripu tripu

View GitHub Profile
@tripu
tripu / workstation-setup.md
Last active May 24, 2022
Workstation setup cheat sheet
View workstation-setup.md

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
tripu / npm-setup.md
Last active Feb 2, 2022
My npm setup, and useful global packages
View npm-setup.md
@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 / photo-gallery.md
Last active Sep 28, 2021
How to generate an HTML photo gallery
View photo-gallery.md
@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 / nodejs-commands.md
Last active May 29, 2020
Commands for Node.js development and debugging
@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 / japan-todo.md
Last active Nov 26, 2019
My Japanese to-do list
View japan-todo.md