| #!/bin/bash | |
| # from | |
| # http://bergamini.org/computers/creating-favicon.ico-icon-files-with-imagemagick-convert.html | |
| convert source-WxW.png -resize 256x256 -transparent white favicon-256.png | |
| convert favicon-256.png -resize 16x16 favicon-16.png | |
| convert favicon-256.png -resize 32x32 favicon-32.png | |
| convert favicon-256.png -resize 64x64 favicon-64.png | |
| convert favicon-256.png -resize 128x128 favicon-128.png |
| <% flash.each do |type, message| %> | |
| <div class="alert <%= bootstrap_class_for(type) %> fade in"> | |
| <button class="close" data-dismiss="alert">×</button> | |
| <%= message %> | |
| </div> | |
| <% end %> |
| private void enableHTML5AppCache() { | |
| webView.getSettings().setDomStorageEnabled(true); | |
| // Set cache size to 8 mb by default. should be more than enough | |
| webView.getSettings().setAppCacheMaxSize(1024*1024*8); | |
| // This next one is crazy. It's the DEFAULT location for your app's cache | |
| // But it didn't work for me without this line | |
| webView.getSettings().setAppCachePath("/data/data/"+ getPackageName() +"/cache"); |
| <?php | |
| error_reporting(E_ALL); | |
| ini_set("display_errors", 1); | |
| /* USOS API Base URL, trailing slash included. */ | |
| $usosapi_base_url = ''; | |
| /* URL of THIS script. Required for callback support. */ | |
| $self_url = ''; |
| <?php | |
| /* USOS API Base URL, trailing slash included. */ | |
| $usosapi_base_url = ''; | |
| /* Consumer Key to use. */ | |
| $consumer_key = ''; | |
| $consumer_secret = ''; | |
| /* |
Open $ vim /etc/default/grub then add elevator=noop next to GRUB_CMDLINE_LINUX_DEFAULT. Run $ update-grub and $ cat /sys/block/sda/queue/scheduler to be sure that noop is being used:
$ vim /etc/default/grub
$ update-grub
$ cat /sys/block/sda/queue/scheduler
[noop] deadline cfq
| #!/bin/bash | |
| # for a blogpost on this, check: http://www.aktau.be/2013/09/22/detecting-interlaced-video-with-ffmpeg/ | |
| # detect interlacing with the ffmpeg "idet" filter, the longer | |
| # you let this run, the better, though it's never 100% accurate | |
| # flags: | |
| # -an = discard audio, we don't need it | |
| # -f rawvideo = output raw video |
| // layout file | |
| <body> | |
| <div class="container"> | |
| <%= flash_messages %> | |
| <%= yield %> | |
| </div><!-- /container --> | |
| </body> |
| git branch -m old_branch new_branch # Rename branch locally | |
| git push origin :old_branch # Delete the old branch | |
| git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote |
| <?php | |
| // CONFIG | |
| $servers = array( | |
| array('Local', '127.0.0.1', 6379), | |
| ); | |
| // END CONFIG | |
| $server = 0; | |
| if (isset($_GET['s']) && intval($_GET['s']) < count($servers)) { | |
| $server = intval($_GET['s']); |