2018-11-15 15:04:18 +01:00
|
|
|
---
|
2019-05-14 11:12:45 +02:00
|
|
|
# should we install keychain for improved ssh-add support?
|
|
|
|
|
# It is recomended for desctop users but completly useless for server installations...
|
2019-03-08 11:33:28 +01:00
|
|
|
install_keychain: False
|
2018-11-15 15:04:18 +01:00
|
|
|
|
2019-05-14 11:12:45 +02:00
|
|
|
# allow additional entys in the local .basrc file
|
2019-03-15 11:17:38 +01:00
|
|
|
extra_bashrc: ''
|
|
|
|
|
|
2019-05-14 11:12:45 +02:00
|
|
|
# if set to False the .bashrc of the root user will be deleted.
|
|
|
|
|
# all that he really need are some parametes of the global /etc/bash.bashrc file...
|
2019-04-30 09:42:37 +02:00
|
|
|
allow_own_root_bashrc: true
|
2019-05-14 11:12:45 +02:00
|
|
|
|
|
|
|
|
# enable version check for this role
|
|
|
|
|
# (highly recomended for stupid users)
|
|
|
|
|
submodules_versioncheck: true
|
