This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#source http://theclonker.de/?p=89 | |
sudo sh -c 'echo "\nPackage: *\nPin: release a=trusty*\nPin-Priority: 1001\n\nPackage: *\nPin: origin download.01.org\nPin-Priority: -100\n" > /etc/apt/preferences.d/intel-removal' | |
sudo apt-get dist-upgrade | |
sudo rm /etc/apt/preferences.d/intel-removal | |
sudo rm /etc/apt/sources.list.d/intellinuxgraphics.list* | |
sudo apt-get update | |
echo "\n\n\n\n\n\n Remember to remove the i915-3.6-3.5-dkms and intel-linux-graphics-installer packages with \n\n sudo apt-get purge i915-3.6-3.5-dkms intel-linux-graphics-installer " |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python | |
# Source: http://stackoverflow.com/questions/6724490/pull-all-gists-from-github | |
# Clone or update all a user's gists | |
# curl -ks https://gist.githubusercontent.com/phdelodder/97aed8a37e7191230cd6/raw/f7843b9243f0b3d409cc25c2f11c9fdca39bb040/gist-backup.py | USER=phdelodder python | |
# USER=phdelodder python gist-backup.py | |
import json | |
import urllib | |
from subprocess import call | |
from urllib import urlopen |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
#option1 | |
wget https://github.com/Lokaltog/powerline/raw/develop/font/PowerlineSymbols.otf https://github.com/Lokaltog/powerline/raw/develop/font/10-powerline-symbols.conf | |
sudo mv PowerlineSymbols.otf /usr/share/fonts/ | |
sudo fc-cache -vf | |
sudo mv 10-powerline-symbols.conf /etc/fonts/conf.d/ | |
gsettings set org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono for Powerline 13' | |
#option2 | |
mkdir -p ~/.fonts |
NewerOlder