mirror of
https://github.com/lukaszraczylo/rpi-home-cluster-setup.git
synced 2026-10-12 00:45:39 +00:00
8 lines
151 B
INI
8 lines
151 B
INI
[defaults]
|
|
host_key_checking = False
|
|
remote_user = root
|
|
inventory = ./pi-hosts.txt
|
|
interpreter_python = auto_silent
|
|
|
|
[ssh_connection]
|
|
pipelining = True |