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/aptos | |
| 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/aptos')
0 files changed, 0 insertions, 0 deletions