]> git.donarmstrong.com Git - deb_pkgs/autorandr.git/commitdiff
Add ability to remove profile
authorSimon Wydooghe <wydooghe.simon@gmail.com>
Sun, 27 Mar 2016 17:18:01 +0000 (19:18 +0200)
committerSimon Wydooghe <wydooghe.simon@gmail.com>
Sun, 27 Mar 2016 17:18:01 +0000 (19:18 +0200)
This commit adds profile removal ability.
You can use '-r' or '--remove'.

Following checks are done:
* not a virtual profile
* profile can be found in profiles.keys()

Also added the remove option to the bash completion (untested though,
using zsh and quite unfamiliar with it).


No differences found