push ~/.selected_editor
authorPeter Palfrader <peter@palfrader.org>
Tue, 18 Oct 2016 19:13:10 +0000 (21:13 +0200)
committerPeter Palfrader <peter@palfrader.org>
Tue, 18 Oct 2016 19:13:10 +0000 (21:13 +0200)
modules/debian-org/files/root-dotfiles/selected_editor [new file with mode: 0644]
modules/debian-org/manifests/init.pp

diff --git a/modules/debian-org/files/root-dotfiles/selected_editor b/modules/debian-org/files/root-dotfiles/selected_editor
new file mode 100644 (file)
index 0000000..2cab271
--- /dev/null
@@ -0,0 +1 @@
+SELECTED_EDITOR="/usr/bin/vim"
index d7df4f6..17ff2f4 100644 (file)
@@ -404,6 +404,9 @@ class debian-org {
        file { '/root/.profile':
                source => 'puppet:///modules/debian-org/root-dotfiles/profile',
        }
+       file { '/root/.selected_editor':
+               source => 'puppet:///modules/debian-org/root-dotfiles/selected_editor',
+       }
        file { '/root/.screenrc':
                source => 'puppet:///modules/debian-org/root-dotfiles/screenrc',
        }