File: 00-xrdb

package info (click to toggle)
gnome-settings-daemon 3.38.2-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 15,004 kB
  • sloc: ansic: 35,357; python: 1,296; xml: 533; sh: 96; makefile: 29; perl: 19
file content (35 lines) | stat: -rwxr-xr-x 753 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
#!/bin/sh

# This script mimic what /etc/X11/Xsession.d/30x11-common_xresources is doing
# but for Xwayland

USRRESOURCES=$HOME/.Xresources
SYSRESOURCES=/etc/X11/Xresources
OPTIONFILE=/etc/X11/Xsession.options

# read OPTIONFILE
OPTIONS=$(cat "$OPTIONFILE") || true

has_option() {
  if [ "${OPTIONS#*
$1}" != "$OPTIONS" ]; then
    return 0
  else
    return 1
  fi
}

if [ -d "$SYSRESOURCES" ] && which xrdb >/dev/null 2>&1; then
  RESOURCEFILES=$(run-parts --list $SYSRESOURCES)
  if [ -n "$RESOURCEFILES" ]; then
    for RESOURCEFILE in $RESOURCEFILES; do
      xrdb -merge $RESOURCEFILE
    done
  fi
fi

if has_option allow-user-resources && [ -f "$USRRESOURCES" ]; then
  if which xrdb >/dev/null 2>&1; then
    xrdb -merge $USRRESOURCES
  fi
fi