Tue, 06 Aug 2019 11:21:04 +0200 |
Guido Berhoerster |
Try to use $HOME for the user's home directory
|
Wed, 31 Jul 2019 11:21:54 +0200 |
Guido Berhoerster |
Allow local makefile overrides in local.mk
|
Tue, 30 Jul 2019 20:38:08 +0200 |
Guido Berhoerster |
Prevent potential division by zero
|
Tue, 28 Nov 2017 17:16:24 +0100 |
Guido Berhoerster |
Only invoke pager in the help command for the summary of all commands
|
Tue, 28 Nov 2017 16:48:45 +0100 |
Guido Berhoerster |
Distinguish between unknown argument and missing value
|
Tue, 28 Nov 2017 15:09:19 +0100 |
Guido Berhoerster |
Explicitly handle all cases in switch statements
|
Thu, 28 Sep 2017 10:06:59 +0200 |
Guido Berhoerster |
Read configuration file on startup
|
Wed, 27 Sep 2017 19:44:05 +0200 |
Guido Berhoerster |
Add set command for setting or retrieving option values
|