Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/341131 )
Change subject: Add extra space ...................................................................... Add extra space Change-Id: I21eddd1f37ba8f46451e4dbcc9813777a50c01b0 --- M modules/admin/files/home/marostegui/.bashrc 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/operations/puppet refs/changes/31/341131/1 diff --git a/modules/admin/files/home/marostegui/.bashrc b/modules/admin/files/home/marostegui/.bashrc index be48f06..cc767f1 100644 --- a/modules/admin/files/home/marostegui/.bashrc +++ b/modules/admin/files/home/marostegui/.bashrc @@ -3,5 +3,5 @@ alias mv='mv -i' alias ln='ln -i' -export PS1="[\t] \u@\h:\w\\$\[$(tput sgr0)\] " +export PS1="[\t] \u@\h:\w\\$\[$(tput sgr0)\] " alias mysqlbinlog='/opt/wmf-mariadb10/bin/mysqlbinlog --defaults-file=/root/.my.cnf' -- To view, visit https://gerrit.wikimedia.org/r/341131 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I21eddd1f37ba8f46451e4dbcc9813777a50c01b0 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Marostegui <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
