Marostegui has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/329133 )
Change subject: .profile: Add .profile file ...................................................................... .profile: Add .profile file Just adding .profile so my .bashrc is read Change-Id: Ie69edcfe252539c67718d537b53a049ff32d4901 --- A modules/admin/files/home/marostegui/.profile 1 file changed, 6 insertions(+), 0 deletions(-) Approvals: Marostegui: Looks good to me, approved jenkins-bot: Verified Jcrespo: Looks good to me, but someone else must approve diff --git a/modules/admin/files/home/marostegui/.profile b/modules/admin/files/home/marostegui/.profile new file mode 100644 index 0000000..35e8d01 --- /dev/null +++ b/modules/admin/files/home/marostegui/.profile @@ -0,0 +1,6 @@ +if [ -n "$BASH_VERSION" ]; then + # include .bashrc if it exists + if [ -f "$HOME/.bashrc" ]; then + . "$HOME/.bashrc" + fi +fi -- To view, visit https://gerrit.wikimedia.org/r/329133 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie69edcfe252539c67718d537b53a049ff32d4901 Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Marostegui <[email protected]> Gerrit-Reviewer: Alex Monk <[email protected]> Gerrit-Reviewer: Jcrespo <[email protected]> Gerrit-Reviewer: Marostegui <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
