- 27 Aug, 2015 1 commit
-
-
Andrew Janke authored
-
- 16 Aug, 2015 1 commit
-
-
Felix Krause authored
-
- 07 Jul, 2015 1 commit
-
-
Andrew Janke authored
Do not use terminal visual effects if not connected to a terminal.
-
- 31 Aug, 2014 1 commit
-
-
Robby Russell authored
-
- 21 Nov, 2013 1 commit
-
-
Valentin Shevko authored
After the upgrade is interesting to know what's new.
-
- 25 Jun, 2013 1 commit
-
-
UncleBill authored
-
- 29 Apr, 2013 1 commit
-
-
Marcus Müller authored
Changing the working directory in a sub-subshell does not change the working directory of the executing shell. The substitution was broken for me on _all_ my machines, so I started looking into the business.
-
- 09 Apr, 2013 1 commit
-
-
Gaurav Misra authored
If the current directory has spaces, the script fails to change paths and fails.
-
- 10 Mar, 2013 1 commit
-
-
Deepu Sudhakar authored
-
- 15 Jan, 2012 1 commit
-
-
backspace authored
-
- 16 Nov, 2011 1 commit
-
-
Russell Harmon authored
update.sh is an "sh" script, not a zsh or bash script. On platforms which have real sh, echo does not have the -e option.
-
- 01 Aug, 2011 1 commit
-
-
Ilya Chesnokov authored
-
- 17 Jul, 2011 1 commit
-
-
Jake Bell authored
-
- 04 Jun, 2011 1 commit
-
-
vguerci authored
-
- 03 Jun, 2011 1 commit
-
-
Andrew Hodges authored
Make tools/install.sh and tools/upgrade.sh pretty.
-
- 03 Jun, 2010 1 commit
-
-
Robby Russell authored
-
- 07 May, 2010 1 commit
-
-
Robby Russell authored
-
- 24 Sep, 2009 1 commit
-
-
Robby Russell authored
-
- 31 Aug, 2009 1 commit
-
-
Robby Russell authored
-
