diff options
| author | Silvino Silva <silvino@bk.ru> | 2018-07-20 17:51:29 +0100 |
|---|---|---|
| committer | Silvino Silva <silvino@bk.ru> | 2018-07-20 17:51:29 +0100 |
| commit | b6655563e76cc547fbdd834c155b482e3f88026c (patch) | |
| tree | fc19965e9281871040084ee51da9f3e79c8c95ca /tools/conf/usr | |
| parent | a689b25f8799c924c54898b118d6dac628389102 (diff) | |
| download | doc-b6655563e76cc547fbdd834c155b482e3f88026c.tar.gz | |
release 0.3.6 fixes
Diffstat (limited to 'tools/conf/usr')
| -rw-r--r-- | tools/conf/usr/etc/X11/xinit/xinitrc | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/tools/conf/usr/etc/X11/xinit/xinitrc b/tools/conf/usr/etc/X11/xinit/xinitrc deleted file mode 100644 index 36b3c3c..0000000 --- a/tools/conf/usr/etc/X11/xinit/xinitrc +++ /dev/null @@ -1,33 +0,0 @@ -#!/bin/sh - -userresources=$HOME/.Xresources -usermodmap=$HOME/.Xmodmap -sysresources=/usr/etc/X11/xinit/.Xresources -sysmodmap=/usr/etc/X11/xinit/.Xmodmap - -# merge in defaults and keymaps - -if [ -f $sysresources ]; then - xrdb -merge $sysresources -fi - -if [ -f $sysmodmap ]; then - xmodmap $sysmodmap -fi - -if [ -f "$userresources" ]; then - xrdb -merge "$userresources" -fi - -if [ -f "$usermodmap" ]; then - xmodmap "$usermodmap" -fi - -# start some nice programs - -if [ -d /usr/etc/X11/xinit/xinitrc.d ] ; then - for f in /usr/etc/X11/xinit/xinitrc.d/?*.sh ; do - [ -x "$f" ] && . "$f" - done - unset f -fi |