I hereby claim:
- I am tripu on github.
- I am tripu (https://keybase.io/tripu) on keybase.
- I have a public key ASAu5ioCgx286Ss5sTQ7uCwssH24FGd4T7ZyosS-7EYm2go
To claim this, I am signing this object:
tripu tripu
tripu
/ keybase.md
Created
October 20, 2016 11:16
tripu
/ calendar-japan-2017
Created
January 17, 2017 14:08
All Japanese public holidays and some festivities in 2017, in RTM format
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Public holiday (Japan): New Year's Day !2 #Japan #holiday #weekend ^1 Jan 2017 | |
| Public holiday (Japan): New Year's Day observed !2 #Japan #holiday #weekend ^2 Jan 2017 | |
| Public holiday (Japan): Coming of Age Day !2 #Japan #holiday #weekend ^9 Jan 2017 | |
| Public holiday (Japan): National Foundation Day !2 #Japan #holiday #weekend ^11 Feb 2017 | |
| Festivity (Japan): Dolls' Festival/Girls' Festival !3 #Japan #festivity #weekend ^3 Mar 2017 | |
| Public holiday (Japan): Spring Equinox !2 #Japan #holiday #weekend ^20 Mar 2017 | |
| Public holiday (Japan): Shōwa Day !2 #Japan #holiday #weekend ^29 Apr 2017 | |
| Public holiday (Japan): Constitution Memorial Day !2 #Japan #holiday #weekend ^3 May 2017 | |
| Public holiday (Japan): Greenery Day !2 #Japan #holiday #weekend ^4 May 2017 | |
| Public holiday (Japan): Children's Day !2 #Japan #holiday #weekend ^5 May 2017 |
tripu
/ gist:2a0d720c37ac3ab2d9513135a0e547f9
Last active
March 22, 2017 09:47
yeah
- Test
- a
- b
- Foo
foo
- Test
- One.
- Two (2 spaces, fails):
console.debug('fails :(');
((x) => { foo; return bar; })();- Three
(cf Workstation setup cheat sheet)
certbotletsencrypt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/sh | |
| INPUTDIR="/home/tripu/gPodder/Downloads/" | |
| PREFIXLENGTH=6 | |
| OUTPUTDIR=/home/tripu/t/personal/podcasts/ | |
| GAIN=2.5 | |
| find "$INPUTDIR" -regextype egrep -iregex '.+\.mp3$' | while read f; do | |
| SHORT=$(echo $f | cut -d'/' -f"$PREFIXLENGTH"-) | |
| echo -n "$SHORT… " |
tripu
/ calendar-madrid-2017
Last active
December 26, 2017 14:25
All public holidays in 2017 for Madrid city (Spain), in RTM format
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Public holiday (Spain): Epifanía del Señor !1 #Spain #holiday #weekend ^6 Jan 2017 | |
| Public holiday (Spain): Siguiente a San José !1 #Spain #holiday #weekend ^20 Mar 2017 | |
| Public holiday (Spain): Jueves Santo !1 #Spain #holiday #weekend ^13 Apr 2017 | |
| Public holiday (Spain): Viernes Santo !1 #Spain #holiday #weekend ^14 Apr 2017 | |
| Public holiday (Spain): Fiesta del Trabajo !1 #Spain #holiday #weekend ^1 May 2017 | |
| Public holiday (Madrid region): Fiesta de la Comunidad de Madrid !1 #Spain #holiday #Madridregion #weekend ^2 May 2017 | |
| Public holiday (Madrid city): San Isidro Labrador !1 #Spain #holiday #Madridcity #weekend ^15 May 2017 | |
| Public holiday (Spain): Asunción de la Virgen !1 #Spain #holiday ^15 Aug 2017 | |
| Public holiday (Spain): Fiesta Nacional de España |
tripu
/ calendar-madrid-2018.txt
Last active
December 26, 2017 15:06
All public holidays in 2018 for Madrid city (Spain), in RTM format
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Public holiday (Spain): Año Nuevo !1 #Spain #holiday #weekend ^1 Jan 2018 | |
| Public holiday (Spain): Epifanía del Señor !1 #Spain #holiday #weekend ^6 Jan 2018 | |
| Public holiday (Spain): Jueves Santo !1 #Spain #holiday #weekend ^29 Mar 2018 | |
| Public holiday (Spain): Viernes Santo !1 #Spain #holiday #weekend ^30 Mar 2018 | |
| Public holiday (Spain): Fiesta del Trabajo !1 #Spain #holiday ^1 May 2018 | |
| Public holiday (Madrid region): Fiesta de la CAM !1 #Spain #holiday #Madridregion ^2 May 2018 | |
| Public holiday (Madrid city): San Isidro Labrador !1 #Spain #holiday #Madridcity ^15 May 2018 | |
| Public holiday (Spain): Asunción de la Virgen !1 #Spain #holiday ^15 Aug 2018 | |
| Public holiday (Spain): Fiesta de la Hispanidad !1 #Spain #holiday #weekend ^12 Oct 2018 | |
| Public holiday (Spain): |
tripu
/ ubuntu-artful-upgrade-troubleshooting.md
Created
January 18, 2018 08:33
Ubuntu 17.10 "Artful Aardvark" upgrade troubleshooting
NB: beware of this bug!
Symptoms: lock screen takes very long (ie, a few seconds) to process username+password, returns “authentication error”, and becomes impossible to log in and unlock the screen again, with any user.
Also, /var/log/syslog shows:
Failed to add watch on /run/systemd/ask-password: No space left on device