Ori.livneh has submitted this change and it was merged.
Change subject: ori: update personal dot files
......................................................................
ori: update personal dot files
- iron isn't the ops/root bastion anymore, we all use bast*
- palladium isn't the puppetmaster anymore, puppetmaster* instead
Bug: T147320
Change-Id: Iae93c020c301fcdac12ec0aab728ff5d040a941b
---
A modules/admin/files/home/ori/.hosts/bast1001
D modules/admin/files/home/ori/.hosts/iron
R modules/admin/files/home/ori/.hosts/puppetmaster1001
3 files changed, 4 insertions(+), 4 deletions(-)
Approvals:
Ori.livneh: Verified; Looks good to me, approved
diff --git a/modules/admin/files/home/ori/.hosts/bast1001
b/modules/admin/files/home/ori/.hosts/bast1001
new file mode 100755
index 0000000..225fa15
--- /dev/null
+++ b/modules/admin/files/home/ori/.hosts/bast1001
@@ -0,0 +1,4 @@
+#!/bin/bash
+puppet-merge() {
+ ssh puppetmaster1001 -t -- 'sudo puppet-merge'
+}
diff --git a/modules/admin/files/home/ori/.hosts/iron
b/modules/admin/files/home/ori/.hosts/iron
deleted file mode 100755
index b35886e..0000000
--- a/modules/admin/files/home/ori/.hosts/iron
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/bash
-puppet-merge() {
- ssh palladium -t -- 'sudo puppet-merge'
-}
diff --git a/modules/admin/files/home/ori/.hosts/palladium
b/modules/admin/files/home/ori/.hosts/puppetmaster1001
similarity index 100%
rename from modules/admin/files/home/ori/.hosts/palladium
rename to modules/admin/files/home/ori/.hosts/puppetmaster1001
--
To view, visit https://gerrit.wikimedia.org/r/315893
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iae93c020c301fcdac12ec0aab728ff5d040a941b
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <[email protected]>
Gerrit-Reviewer: Alex Monk <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
