Commits

Timothy Corbett-Clark committed 46a5fd8

README.md edited online with Bitbucket

Comments (0)

Files changed (1)

 ever-changing user configuration files.
 
 
-Ubuntu 14.04 for base OS
-------------------------
+Mint derived from 14.04
+-----------------------
 
-Install [Ubuntu](http://www.ubuntu.com) 14.04, boot up, and
+Install Mint. Then sort our any office proxy settings e.g. by putting the following in `/etc/environment`:
+
+    http_proxy=http://proxy.localoffice:3128
+    https_proxy=https://proxy.localoffice:3128
+
+and creating `/etc/apt/apt.conf.d/00proxy` containing:
+
+    Acquire::https::proxy "http://proxy.localoffice:3128/";
+    Acquire::http::proxy "http://proxy.localoffice:3128/";
+
+Then update with:
 
     sudo apt-get update
     sudo apt-get upgrade
 
+Reboot.
+
 
 Immediate packages
 ------------------
     sudo apt-get update
     sudo apt-get install fish
     chsh -i /usr/bin/fish
-    mkdir -P ~/.config/fish/functions
+    mkdir -p ~/.config/fish/functions
     cp fish/functions/* ~/.config/fish/functions/
     cp fish/config.fish ~/.config/fish/
 
 Chrome
 ------
 
-    wget -q -O - https://dl-ssl.google.com/linux/linux_signing_key.pub | sudo apt-key add -
-    sudo sh -c 'echo "deb http://dl.google.com/linux/chrome/deb/ stable main" >> /etc/apt/sources.list.d/google.list'
-    sudo apt-get update
-    sudo apt-get install chrome
+Just go to Google and follow the instructions.
 
 Sign in, and let it sync apps, extensions, bookmarks, etc
 
 To add non-free stuff like fonts and reading encrypted DVDs, add the
 [Medibuntu](http://www.medibuntu.org) repository by following their instructions. Then:
 
-    sudo apt-get install mplayer mplayer-gui non-free-codecs libdvdcss2
+    sudo apt-get install mplayer mplayer-gui non-free-codecs libdvdcss2