2020-10-18 11:01:24 +00:00
|
|
|
[defaults]
|
|
|
|
|
inventory=hosts
|
|
|
|
|
roles_path=roles
|
2021-01-09 17:58:18 +00:00
|
|
|
interpreter_python=auto
|
2021-01-10 13:57:06 +00:00
|
|
|
library=plugins/modules
|
2021-01-09 17:58:18 +00:00
|
|
|
|
|
|
|
|
[ssh_connection]
|
|
|
|
|
pipelining = True # does not work with requiretty in /etc/sudoers
|
2021-06-27 19:10:04 +00:00
|
|
|
ssh_args=-o ForwardAgent=yes # no need for installing/configuring/unlocking SSH/GPG keys on the host to be able to git clone extensions
|
