View normalise-podcasts.sh
#!/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"
View backup-github.sh
#!/bin/bash
# A simple script to backup an organization's GitHub repositories.
# NOTE: if you have more than 100 repositories, you'll need to step thru the list of repos
# returned by GitHub one page at a time, as described at https://gist.github.com/darktim/5582423
GHBU_BACKUP_DIR=${GHBU_BACKUP_DIR-"github-backups"} # where to place the backup files
GHBU_ORG=${GHBU_ORG-"<CHANGE-ME>"} # the GitHub organization whose repos will be backed up
# (if you're backing up a user's repos instead, this should be your GitHub username)
GHBU_UNAME=${GHBU_UNAME-"<CHANGE-ME>"} # the username of a GitHub account (to use with the GitHub API)
View server-setup.md
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
View list-with-blocks.md
  1. One.
  2. Two (2 spaces, fails):
console.debug('fails :(');
((x) => { foo; return bar; })();
  1. Three
View calendar-japan-2017
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
View calendar-madrid-2017
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