diff options
author | Franck Cuny <franck@fcuny.net> | 2022-04-03 14:21:56 -0700 |
---|---|---|
committer | Franck Cuny <franck@fcuny.net> | 2022-04-03 14:21:56 -0700 |
commit | e0a4b9f9caac97ae5f73b72f95c31ed9d719b7bd (patch) | |
tree | 6563fde50a8b56a32ca32fafb7b721824b5bec77 /hosts/profiles | |
parent | remove mytools (diff) | |
download | world-e0a4b9f9caac97ae5f73b72f95c31ed9d719b7bd.tar.gz |
rename `desktop` to `isDesktop`
The variable is used to define the kind of machine we're managing. `isDesktop` is a bit more descriptive. We import `devel` for all machines, and we fine tune which packages we want to install based on the value of `isDesktop`.
Diffstat (limited to 'hosts/profiles')
0 files changed, 0 insertions, 0 deletions