Skip to content

Instantly share code, notes, and snippets.

Avatar

tripu tripu

View GitHub Profile
@tripu
tripu / workstation-setup.md
Last active Sep 11, 2020
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 / 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 Jun 29, 2020
How to generate an HTML photo gallery
View photo-gallery.md
@tripu
tripu / npm-setup.md
Last active May 29, 2020
My npm setup, and useful global packages
View npm-setup.md
@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
@tripu
tripu / backup-github.sh
Last active Aug 20, 2019 — forked from rodw/backup-github.sh
A simple script to backup an organization's GitHub repositories, wikis and issues.
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)
@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 .
You can’t perform that action at this time.