2020-10-18 13:01:24 +02:00
|
|
|
[defaults]
|
|
|
|
|
inventory=hosts
|
|
|
|
|
roles_path=roles
|
2021-01-09 18:58:18 +01:00
|
|
|
interpreter_python=auto
|
2021-01-10 14:57:06 +01:00
|
|
|
library=plugins/modules
|
2021-01-09 18:58:18 +01:00
|
|
|
|
|
|
|
|
[ssh_connection]
|
|
|
|
|
pipelining = True # does not work with requiretty in /etc/sudoers
|
2021-06-27 21:10:04 +02: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
|
