Skip to content

Instantly share code, notes, and snippets.

View playmono's full-sized avatar
⛩️

Adrián Granado playmono

⛩️
View GitHub Profile
@playmono
playmono / es
Last active December 17, 2020 13:53
/usr/share/X11/xkb/symbols/es
key <AE01> {[ exclam, 1, bar, exclamdown ]};
key <AE02> {[ quotedbl, 2, at, twosuperior ]};
key <AE03> {[ periodcentered, 3, numbersign, sterling ]};
key <AE04> {[ dollar, 4, asciitilde, dollar ]};
key <AE05> {[ percent, 5, brokenbar, fiveeighths ]};
key <AE06> {[ ampersand, 6, notsign, fiveeighths ]};
key <AE07> {[ slash, 7, onehalf, seveneighths ]};
key <AE08> {[ parenleft, 8, oneeighth, threeeighths ]};
key <AE09> {[ parenright, 9, asciicircum ]};
key <AE10> {[ equal, 0, grave, dead_doubleacute ]};
wget -O phpstan.phar https://github.com/phpstan/phpstan/raw/master/phpstan.phar
chmod a+x phpstan.phar
sudo mv phpstan.phar /usr/local/bin/phpstan
phpstan
# ~/.bashrc: executed by bash(1) for non-login shells.
# see /usr/share/doc/bash/examples/startup-files (in the package bash-doc)
# for examples
# If not running interactively, don't do anything
case $- in
*i*) ;;
*) return;;
esac
@playmono
playmono / countries.geojson
Last active September 26, 2018 08:28
Geo JSON adding our tiny islands
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@playmono
playmono / sgrep.sh
Created March 26, 2018 13:43
super grep function for bash
# sgrep php 'helloworldinphp'
# sgrep js 'helloworldinjs
sgrep() {
length=$(($#-2))
parameters=${@:1:$length}
beforelast=$(($#-1))
grep -nr --color $parameters "${!#}" --include=*."${!beforelast}"
}
@playmono
playmono / phpl.sh
Last active March 26, 2018 13:44
php -l function for entire directory
phpl() {
parameters=${@}
find $parameters -type f -name '*.php' -exec php -l {} \; | (! grep -v "No syntax errors detected" )
}