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.comhttps://*.github.com/*https://*.github.io
| /* | |
| 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)() |
| [alias] | |
| go = "!git switch ${1:-master} && git pull && git cleanup" | |
| rh = "!git rebase -i HEAD~$(git count)" | |
| ru = "!git rebase -i master" | |
| pf = "!git push --force-with-lease" | |
| # secondary tool functions | |
| cleanup = "!git fetch -p && git branch -vv | awk '/: gone]/{print $1}' | xargs git branch -D" | |
| count = "!git rev-list --count HEAD ^$(git merge-base HEAD master)" |
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.comhttps://*.github.com/*https://*.github.io| # 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 |
| 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" |