Dzahn has submitted this change and it was merged.
Change subject: ssh: fix lint, indentation
......................................................................
ssh: fix lint, indentation
Change-Id: If830f766f438435643b6eed586b19f34c0b481c5
---
M modules/ssh/manifests/userkey.pp
1 file changed, 5 insertions(+), 5 deletions(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/modules/ssh/manifests/userkey.pp b/modules/ssh/manifests/userkey.pp
index 028da67..c819d90 100644
--- a/modules/ssh/manifests/userkey.pp
+++ b/modules/ssh/manifests/userkey.pp
@@ -47,11 +47,11 @@
if $skey {
if !defined(File["/etc/ssh/userkeys/${user}.d/"]) {
file { "/etc/ssh/userkeys/${user}.d/":
- ensure => directory,
- force => true,
- owner => 'root',
- group => 'root',
- mode => '0755',
+ ensure => directory,
+ force => true,
+ owner => 'root',
+ group => 'root',
+ mode => '0755',
}
}
$path = "/etc/ssh/userkeys/${user}.d/${skey}"
--
To view, visit https://gerrit.wikimedia.org/r/269609
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If830f766f438435643b6eed586b19f34c0b481c5
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
