[MediaWiki-commits] [Gerrit] mediawiki/vagrant[stretch-migration]: Remove ack alias
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/394836 ) Change subject: Remove ack alias .. Remove ack alias ack-grep has been renamed to ack in stretch; ack-grep doesn't work anymore and the alias hides the executable. Bug: T181353 Change-Id: If69b88b3aee62af743acd90044952c46887139fe --- M puppet/modules/misc/files/etc_profile.d/mediawiki-vagrant.sh 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: Legoktm: Looks good to me, approved jenkins-bot: Verified diff --git a/puppet/modules/misc/files/etc_profile.d/mediawiki-vagrant.sh b/puppet/modules/misc/files/etc_profile.d/mediawiki-vagrant.sh index 0a7d05d..2abc0e4 100755 --- a/puppet/modules/misc/files/etc_profile.d/mediawiki-vagrant.sh +++ b/puppet/modules/misc/files/etc_profile.d/mediawiki-vagrant.sh @@ -7,7 +7,6 @@ # handy aliases alias ..="cd .." -alias ack=ack-grep # enable color for the shell prompt (PS1) export force_color_prompt="yes" -- To view, visit https://gerrit.wikimedia.org/r/394836 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: If69b88b3aee62af743acd90044952c46887139fe Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: stretch-migration Gerrit-Owner: Gergő Tisza Gerrit-Reviewer: BryanDavis Gerrit-Reviewer: Dduvall Gerrit-Reviewer: Legoktm Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki/vagrant[stretch-migration]: Remove ack alias
Gergő Tisza has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/394836 ) Change subject: Remove ack alias .. Remove ack alias ack-grep has been renamed to ack in stretch; ack-grep doesn't work anymore and the alias hides the executable. Bug: T181353 Change-Id: If69b88b3aee62af743acd90044952c46887139fe --- M puppet/modules/misc/files/etc_profile.d/mediawiki-vagrant.sh 1 file changed, 0 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant refs/changes/36/394836/1 diff --git a/puppet/modules/misc/files/etc_profile.d/mediawiki-vagrant.sh b/puppet/modules/misc/files/etc_profile.d/mediawiki-vagrant.sh index 0a7d05d..2abc0e4 100755 --- a/puppet/modules/misc/files/etc_profile.d/mediawiki-vagrant.sh +++ b/puppet/modules/misc/files/etc_profile.d/mediawiki-vagrant.sh @@ -7,7 +7,6 @@ # handy aliases alias ..="cd .." -alias ack=ack-grep # enable color for the shell prompt (PS1) export force_color_prompt="yes" -- To view, visit https://gerrit.wikimedia.org/r/394836 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: If69b88b3aee62af743acd90044952c46887139fe Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: stretch-migration Gerrit-Owner: Gergő Tisza ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits