tripu

#!/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 .

tripu

.vscode/

tripu

[alias]
	ap = add -p
	br = branch
	cf = config
	ci = commit
	co = checkout
	df = diff
	lg = log --graph --abbrev-commit --decorate --date=relative --format=format:'%C(bold blue)%h%C(reset) - %C(bold green)(%ar)%C(reset) %C(white)%s%C(reset) %C(dim white)- %an%C(reset)%C(bold yellow)%d%C(reset)' --all
	pl = pull
	ps = push

tripu

This is a script I just wrote to share my installed extensions easily on this other Gist.

Example

user@host:~/whatever/dir$ (
>     for i in `ls ~/.vscode/extensions/ | rev | cut -d '-' -f 2- | rev`; do
>         NAME=$(cat ~/.vscode/extensions/$i*/package.json | jq .displayName | cut -d \" -f 2)
>         echo "* [$NAME](https://marketplace.visualstudio.com/items?itemName=$i)"
>     done

tripu

Public holiday (Spain):         Año Nuevo               !1 #Spain #holiday                        ^1  Jan 2019
Public holiday (Spain):         Epifanía del Señor      !1 #Spain #holiday               #weekend ^7  Jan 2019
Public holiday (Spain):         Jueves Santo            !1 #Spain #holiday               #weekend ^18 Apr 2019
Public holiday (Spain):         Viernes Santo           !1 #Spain #holiday               #weekend ^19 Apr 2019
Public holiday (Spain):         Fiesta del Trabajo      !1 #Spain #holiday                        ^1  May 2019
Public holiday (Madrid region): Fiesta de la CAM        !1 #Spain #holiday #Madridregion          ^2  May 2019
Public holiday (Madrid city):   San Isidro Labrador     !1 #Spain #holiday #Madridcity            ^15 May 2019
Public holiday (Spain):         Asunción de la Virgen   !1 #Spain #holiday                        ^15 Aug 2019
Public holiday (Spain):         Fiesta de la Hispanidad !1 #Spain #holiday               #weekend ^12 Oct 2019
Public holiday (Spain):  

tripu

👉 GH GraphQL API Explorer

My first comments on an issue, on a commit, and on a Gist

{
  viewer {
    issueComments(first: 1) {
      nodes {
        ...commonFields

tripu

$ npm-check
emailjs   NOTUSED?  Still using emailjs?
                    Depcheck did not find code similar to require('emailjs') or import from 'emailjs'.
                    Check your code before removing as depcheck isn't able to foresee all ways dependencies can be used.
                    Use --skip-unused to skip this check.
                    To remove this package: npm uninstall --save emailjs

nopt      NOTUSED?  Still using nopt?
                    Depcheck did not find code similar to require('nopt') or import from 'nopt'.
                    Check your code before removing as depcheck isn't able to foresee all ways dependencies can be used.

tripu

$ npm-check
urijs          NOTUSED?  Still using urijs?
                         Depcheck did not find code similar to require('urijs') or import from 'urijs'.
                         Check your code before removing as depcheck isn't able to foresee all ways dependencies can be used.
                         Use --skip-unused to skip this check.
                         To remove this package: npm uninstall --save urijs

emailjs        MAJOR UP  Major update available. https://github.com/eleith/emailjs#readme
                         npm install --save emailjs@1.0.12 to go from 0.3.16 to 1.0.12
               NOTUSED?  Still using emailjs?

tripu

NB: beware of this bug!

Bug: gdm can't unlock desktop (after suspending, to switch users, etc)

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

tripu

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):