chore: rename ‹terminal› group of roles
Signed-off-by: Matej Focko <me@mfocko.xyz>
This commit is contained in:
parent
0135bcd48f
commit
93de8c2ede
105 changed files with 2 additions and 2 deletions
|
@ -63,11 +63,11 @@
|
||||||
tags: gpg
|
tags: gpg
|
||||||
|
|
||||||
# Configure Alacritty terminal
|
# Configure Alacritty terminal
|
||||||
- role: terminals/alacritty
|
- role: terminal_alacritty
|
||||||
tags: alacritty
|
tags: alacritty
|
||||||
|
|
||||||
# Configure Kitty terminal
|
# Configure Kitty terminal
|
||||||
- role: terminals/kitty
|
- role: terminal_kitty
|
||||||
tags: kitty
|
tags: kitty
|
||||||
|
|
||||||
# Install fonts
|
# Install fonts
|
||||||
|
|
Some files were not shown because too many files have changed in this diff Show more
Loading…
Reference in a new issue