List profiles
dconf dump /org/gnome/terminal/legacy/profiles:/
Determine the terminal profile string for the profile you will need. This is the terminal profile that I will export:
| ; a hand-made GIF containing valid JavaScript code | |
| ; abusing header to start a JavaScript comment | |
| ; inspired by Saumil Shah's Deadly Pixels presentation | |
| ; Ange Albertini, BSD Licence 2013 | |
| ; yamal gifjs.asm -o img.gif | |
| WIDTH equ 10799 ; equivalent to 2f2a, which is '/*' in ASCII, thus starting an opening comment |
| $font-size: 16; | |
| @function strip-unit($num) { | |
| @return $num / ($num * 0 + 1); | |
| } | |
| @mixin rem($property, $values...) { | |
| $max: length($values); | |
| $pxValues: ''; | |
| $remValues: ''; |
| // SmoothScroll for websites v1.2.1 | |
| // Licensed under the terms of the MIT license. | |
| // People involved | |
| // - Balazs Galambosi (maintainer) | |
| // - Michael Herf (Pulse Algorithm) | |
| (function(){ | |
| // Scroll Variables (tweakable) |
| cd ~ | |
| sudo apt-get update | |
| sudo apt-get install openjdk-7-jre-headless -y | |
| ### Check http://www.elasticsearch.org/download/ for latest version of ElasticSearch and replace wget link below | |
| # NEW WAY / EASY WAY | |
| wget https://download.elasticsearch.org/elasticsearch/elasticsearch/elasticsearch-0.90.0.deb | |
| sudo dpkg -i elasticsearch-0.90.0.deb |
| <?php | |
| // source: http://cubiq.org/the-perfect-php-clean-url-generator | |
| // author: Matteo Spinelli | |
| // MIT License / http://creativecommons.org/licenses/by-sa/3.0/ (please re-check at source) | |
| setlocale(LC_ALL, 'en_US.UTF8'); | |
| function toAscii($str, $replace=array(), $delimiter='-') { | |
| if( !empty($replace) ) { | |
| $str = str_replace((array)$replace, ' ', $str); | |
| } |