antonkomarev

/*
Copy this into the console of any web page that is interactive and doesn't
do hard reloads. You will hear your DOM changes as different pitches of
audio.

I have found this interesting for debugging, but also fun to hear web pages
render like UIs do in movies.
*/

const audioCtx = new (window.AudioContext || window.webkitAudioContext)()

antonkomarev

[alias]
    cleanup = "!git fetch -p && git branch -vv | awk '/: gone]/{print $1}' | xargs git branch -D"
    go = "!git switch ${1:-master} && git pull && git cleanup"

antonkomarev

Command:

curl https://git.io/ -i -F "url=https://github.com/YOUR_GITHUB_URL" -F "code=YOUR_CUSTOM_NAME"

URLs that can be created is from:

• https://github.com/*
• https://*.github.com
• https://*.github.com/*
• https://*.github.io

antonkomarev

# vi ~/.bash_profile

# Docker
d () {
    if [ -f $1 ] ; then
        echo "Available commands:"
        echo "  \e[32md restart\e[0m - Restart docker service"
        echo "  \e[32md stop\e[0m - Stop all docker containers"

        return 0

antonkomarev

apt-get -y install --no-install-recommends --no-install-suggests dirmngr && \
apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 71DAEAAB4AD4CAB6 4F4EA0AAE5267A6C && \
add-apt-repository -y "deb https://mirror.yandex.ru/mirrors/launchpad/ondrej/php/ $(lsb_release -cs) main"