Merge remote-tracking branch 'origin/master'
This commit is contained in:
commit
b5bea5f947
@ -45,7 +45,7 @@ font:
|
|||||||
style: Bold Italic
|
style: Bold Italic
|
||||||
|
|
||||||
# Point size
|
# Point size
|
||||||
size: 12.0
|
size: 11.0
|
||||||
|
|
||||||
offset:
|
offset:
|
||||||
x: 0
|
x: 0
|
||||||
|
@ -91,7 +91,7 @@
|
|||||||
- name: <super + enter> to fire a terminal - command
|
- name: <super + enter> to fire a terminal - command
|
||||||
dconf:
|
dconf:
|
||||||
key: "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/command"
|
key: "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/command"
|
||||||
value: "'st'"
|
value: "'alacritty'"
|
||||||
state: present
|
state: present
|
||||||
become: true
|
become: true
|
||||||
become_user: "{{ item.username }}"
|
become_user: "{{ item.username }}"
|
||||||
|
@ -1,5 +1,6 @@
|
|||||||
---
|
---
|
||||||
prompt: fish
|
prompt: fish
|
||||||
|
editor: nvim
|
||||||
|
|
||||||
deploy_public_key: id_ed25519_home.pub
|
deploy_public_key: id_ed25519_home.pub
|
||||||
|
|
||||||
|
@ -13,7 +13,8 @@
|
|||||||
# group: wheel
|
# group: wheel
|
||||||
# groups: sudo, adm
|
# groups: sudo, adm
|
||||||
|
|
||||||
prompt: 'fish'
|
prompt: fish
|
||||||
|
editor: vim
|
||||||
|
|
||||||
minimal: false
|
minimal: false
|
||||||
server: false
|
server: false
|
||||||
|
Loading…
Reference in New Issue
Block a user