If your running on a platform that supports wget your in for a treat. This is by far simplest and fastest way to clone a site for offline browsing.
wget -r -e robots=off --level=0 --convert-links --page-requisites --no-parent --wait 1 url_of_site_to_clone
Manually deleting files in git sucks fortunately there’s a better way.
git add -u
Use the following command to search for text in files. This will search recursively through all files in all directories from the directory the command is run from.
grep -lir "some text" *
I don’t how many times I had to google this so here it for posterity:
Install the sqlite3 connector:
sudo apt-get install libsqlite3-dev
sudo gem install sqlite3-ruby
Or install the MySQL database and it’s connector:
sudo apt-get install mysql-server mysql-client
sudo apt-get install libmysql-ruby libmysqlclient-dev
sudo gem install mysql
install the PostgreSQL database and it’s connector:
sudo apt-get install postgresql-server postgresql-client
sudo apt-get install libpq-dev
sudo gem install pg
Deleting a remote branch on github is rather straightforward. The format if the commad is:
git push remotename :branchname
So to delete the myfunkytest branch on the origin remote simply issue
git push origin :myfunkytest
I have been playing around for a while now trying to find a nice Ubuntu theme that was not to bright and also not so dark I couldn’t distinguish various parts of windows buttons etc.