GNOME Backups: live.g.o has been decomm and replaced by wiki.g.o

This commit is contained in:
Andrea Veri 2018-02-07 14:31:49 +00:00
parent a554ac30fe
commit 3c27e5a250
3 changed files with 3 additions and 3 deletions

View file

@ -18,7 +18,7 @@ MACHINES='signal.gnome.org
master.gnome.org master.gnome.org
restaurant.gnome.org restaurant.gnome.org
expander.gnome.org expander.gnome.org
live.gnome.org wiki.gnome.org
view.gnome.org view.gnome.org
puppetmaster01.gnome.org puppetmaster01.gnome.org
accelerator.gnome.org accelerator.gnome.org

View file

@ -1,4 +1,4 @@
Host live.gnome.org puppetmaster01.gnome.org cloud.gnome.org webapps3.gnome.org Host puppetmaster01.gnome.org cloud.gnome.org webapps3.gnome.org
User root User root
IdentityFile /usr/local/etc/gnome_backup_id.rsa IdentityFile /usr/local/etc/gnome_backup_id.rsa
ProxyCommand ssh -W %h:%p bastion.gnome.org -F /usr/local/etc/gnome_ssh_config ProxyCommand ssh -W %h:%p bastion.gnome.org -F /usr/local/etc/gnome_ssh_config

View file

@ -41,7 +41,7 @@
- bastion.gnome.org - bastion.gnome.org
- spinner.gnome.org - spinner.gnome.org
- master.gnome.org - master.gnome.org
- live.gnome.org - wiki.gnome.org
- restaurant.gnome.org - restaurant.gnome.org
- expander.gnome.org - expander.gnome.org
- accelerator.gnome.org - accelerator.gnome.org