- 01 Apr, 2015 1 commit
-
-
Franco Fichtner authored
-
- 05 Mar, 2015 1 commit
-
-
Franco Fichtner authored
/tmp is unlikely to change. If, however you decide to change it to somewhere else the likelihood of someone else hardcoding /tmp just to annoy you is so high that it simply makes no sense to keep any softcoding in this regard. More batches coming, but since the usage is so widespread, I'll push it bit by bit.
-
- 28 Dec, 2014 1 commit
-
-
Franco Fichtner authored
-
- 10 Dec, 2014 1 commit
-
-
Franco Fichtner authored
Make "src" the implicit "/usr/local" so that nobody can sneak in weird files in the base file system or potentially overwrite them. This is the last time, I swear... :)
-
- 09 Dec, 2014 1 commit
-
-
Franco Fichtner authored
-
- 27 Oct, 2014 1 commit
-
-
Ad Schellevis authored
-