One Paragraph of project description goes here
These instructions will get you a copy of the project up and running on your local machine for development and testing purposes. See deployment for notes on how to deploy the project on a live system.
| <key name="Colors" modified="2015-12-10 22:46:43" build="151210"> | |
| <value name="Count" type="dword" data="00000001"/> | |
| <key name="Palette1" modified="2015-12-10 22:46:43" build="151210"> | |
| <value name="Name" type="string" data="Material Theme"/> | |
| <value name="ColorTable00" type="dword" data="004d4335"/> | |
| <value name="ColorTable01" type="dword" data="006b60eb"/> | |
| <value name="ColorTable02" type="dword" data="008de8c3"/> | |
| <value name="ColorTable03" type="dword" data="0095ebf7"/> | |
| <value name="ColorTable04" type="dword" data="00c4cb80"/> | |
| <value name="ColorTable05" type="dword" data="009024ff"/> |
| /* bling.js */ | |
| window.$ = document.querySelector.bind(document); | |
| window.$$ = document.querySelectorAll.bind(document); | |
| Node.prototype.on = window.on = function(name, fn) { this.addEventListener(name, fn); }; | |
| NodeList.prototype.__proto__ = Array.prototype; | |
| NodeList.prototype.on = function(name, fn) { this.forEach((elem) => elem.on(name, fn)); }; |
| # delete local tag '12345' | |
| git tag -d 12345 | |
| # delete remote tag '12345' (eg, GitHub version too) | |
| git push origin :refs/tags/12345 | |
| # alternative approach | |
| git push --delete origin tagName | |
| git tag -d tagName |
Prereq:
apt-get install zsh
apt-get install git-coreGetting zsh to work in ubuntu is weird, since sh does not understand the source command. So, you do this to install zsh
wget https://github.com/robbyrussell/oh-my-zsh/raw/master/tools/install.sh -O - | zsh