servo: disable unused CLI tools for freshrss/signald
This commit is contained in:
@@ -7,12 +7,10 @@
|
|||||||
./services
|
./services
|
||||||
];
|
];
|
||||||
|
|
||||||
sane.programs = {
|
# for administering services
|
||||||
# for administering services
|
# sane.programs.freshrss.enableFor.user.colin = true;
|
||||||
freshrss.enableFor.user.colin = true;
|
# sane.programs.signaldctl.enableFor.user.colin = true;
|
||||||
matrix-synapse.enableFor.user.colin = true;
|
sane.programs.matrix-synapse.enableFor.user.colin = true;
|
||||||
signaldctl.enableFor.user.colin = true;
|
|
||||||
};
|
|
||||||
|
|
||||||
sane.roles.build-machine.enable = true;
|
sane.roles.build-machine.enable = true;
|
||||||
sane.programs.zsh.config.showDeadlines = false; # ~/knowledge doesn't always exist
|
sane.programs.zsh.config.showDeadlines = false; # ~/knowledge doesn't always exist
|
||||||
|
Reference in New Issue
Block a user