[MediaWiki-commits] [Gerrit] filippo: use bashrc, fix prompt - change (operations/puppet)

Filippo Giunchedi has uploaded a new change for review. https://gerrit.wikimedia.org/r/155518 Change subject: filippo: use bashrc, fix prompt .. filippo: use bashrc, fix prompt Change-Id:

[MediaWiki-commits] [Gerrit] filippo: use bashrc, fix prompt - change (operations/puppet)

Filippo Giunchedi has submitted this change and it was merged. Change subject: filippo: use bashrc, fix prompt .. filippo: use bashrc, fix prompt Change-Id: Idddaaa6fe4425d6ff72fdf3f0aef1c7a8fdbb5dd --- M