Gergő Tisza has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/377185 )
Change subject: Add some commonly used defaults
......................................................................
Add some commonly used defaults
* use PgUp/PgDown for history navigation in the shell
* use Ctrl + left/right arrow for word navigation in the shell
* enable vim syntax highlighting by default
* make vim default tab settings more reasonable
Change-Id: Ib8d045b4a5078fd7216960909f0c77df448c097e
---
A puppet/modules/misc/files/inputrc
A puppet/modules/misc/files/vimrc
M puppet/modules/misc/manifests/init.pp
3 files changed, 27 insertions(+), 3 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant
refs/changes/85/377185/1
diff --git a/puppet/modules/misc/files/inputrc
b/puppet/modules/misc/files/inputrc
new file mode 100644
index 0000000..20daed0
--- /dev/null
+++ b/puppet/modules/misc/files/inputrc
@@ -0,0 +1,8 @@
+# PgUp/PgDown for history search
+"\e[5~": history-search-backward
+"\e[6~": history-search-forward
+
+# Ctrl + left/right arrow for word navigation
+"\e[1;5C": forward-word
+"\e[1;5D": backward-word
+
diff --git a/puppet/modules/misc/files/vimrc b/puppet/modules/misc/files/vimrc
new file mode 100644
index 0000000..ff534e6
--- /dev/null
+++ b/puppet/modules/misc/files/vimrc
@@ -0,0 +1,3 @@
+syntax on
+set tabstop=4
+
diff --git a/puppet/modules/misc/manifests/init.pp
b/puppet/modules/misc/manifests/init.pp
index f9afed6..c8e037c 100644
--- a/puppet/modules/misc/manifests/init.pp
+++ b/puppet/modules/misc/manifests/init.pp
@@ -1,8 +1,12 @@
# == Class: misc
#
-# Provides various small enhancements to user experience: a color
-# prompt, a helpful MOTD banner, bash aliases, and some commonly-used
-# command-line tools, like 'ack' and 'curl'.
+# Provides various small enhancements to user experience:
+# - a color prompt
+# - a helpful MOTD banner
+# - bash aliases
+# - commonly used configuration settings for various tools
+# (e.g. syntax highlighting on by default in vim)
+# - some commonly-used command-line tools like 'ack', 'curl' and 'jq'
#
class misc {
file { '/etc/profile.d/mediawiki-vagrant.sh':
@@ -36,6 +40,15 @@
source => 'puppet:///modules/misc/ackrc',
}
+ file { '/etc/vim/vimrc.local':
+ source => 'puppet:///modules/misc/vimrc',
+ }
+
+ file { '/home/vagrant/.inputrc':
+ source => 'puppet:///modules/misc/inputrc',
+ replace => false,
+ }
+
# fix for 'stdin: not a tty'
# <https://github.com/mitchellh/vagrant/issues/1673>
exec { 'fix_root_profile':
--
To view, visit https://gerrit.wikimedia.org/r/377185
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ib8d045b4a5078fd7216960909f0c77df448c097e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <gti...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
