Yuvipanda has submitted this change and it was merged.
Change subject: tools: Make webservice2 the default webservice
......................................................................
tools: Make webservice2 the default webservice
Since /usr/local/bin overrides /usr/bin. Scripts that fully
specify path wouldn't see any effect.
Bug: T90855
Change-Id: If6cfc9f2a987920280edf3648211227009da3a7a
---
M modules/toollabs/manifests/dev_environ.pp
1 file changed, 9 insertions(+), 0 deletions(-)
Approvals:
Yuvipanda: Verified; Looks good to me, approved
diff --git a/modules/toollabs/manifests/dev_environ.pp
b/modules/toollabs/manifests/dev_environ.pp
index fead1db..562ba51 100644
--- a/modules/toollabs/manifests/dev_environ.pp
+++ b/modules/toollabs/manifests/dev_environ.pp
@@ -121,6 +121,15 @@
mode => '0555',
}
+ file { '/usr/local/bin/webservice':
+ ensure => link,
+ target => '/usr/local/bin/webservice2',
+ owner => 'root',
+ group => 'root',
+ mode => '0555',
+ require => File['/usr/local/bin/webservice2'],
+ }
+
# TODO: deploy scripts
# TODO: packager
}
--
To view, visit https://gerrit.wikimedia.org/r/201396
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If6cfc9f2a987920280edf3648211227009da3a7a
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Yuvipanda <yuvipa...@gmail.com>
Gerrit-Reviewer: Yuvipanda <yuvipa...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
