Ema has submitted this change and it was merged.
Change subject: Add bash_profile and vimrc for ema
......................................................................
Add bash_profile and vimrc for ema
Change-Id: I00483db87cb07893473d1f4df52cd59cd998e702
---
A modules/admin/files/home/ema/.bash_profile
A modules/admin/files/home/ema/.vimrc
2 files changed, 10 insertions(+), 0 deletions(-)
Approvals:
Filippo Giunchedi: Looks good to me, but someone else must approve
Ema: Verified; Looks good to me, approved
diff --git a/modules/admin/files/home/ema/.bash_profile
b/modules/admin/files/home/ema/.bash_profile
new file mode 100644
index 0000000..437b3a8
--- /dev/null
+++ b/modules/admin/files/home/ema/.bash_profile
@@ -0,0 +1,5 @@
+hostname="$(hostname --fqdn)"
+export
PS1="\[\033]0;\u@${hostname}:\w\007\]${debian_chroot:+($debian_chroot)}\t
\u@$hostname:\w\n\$ "
+
+alias ls='ls --color=auto'
+alias grep='grep --color=auto'
diff --git a/modules/admin/files/home/ema/.vimrc
b/modules/admin/files/home/ema/.vimrc
new file mode 100644
index 0000000..57d66ec
--- /dev/null
+++ b/modules/admin/files/home/ema/.vimrc
@@ -0,0 +1,5 @@
+syntax on
+set background=dark
+set et
+set sw=4
+set ts=4
--
To view, visit https://gerrit.wikimedia.org/r/267850
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I00483db87cb07893473d1f4df52cd59cd998e702
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Ema <e...@wikimedia.org>
Gerrit-Reviewer: Ema <e...@wikimedia.org>
Gerrit-Reviewer: Filippo Giunchedi <fgiunch...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
