2022-06-14 00:34:22 +09:00
|
|
|
#!/bin/bash
|
|
|
|
|
set -euo pipefail
|
|
|
|
|
cd -- "$(dirname -- "$0")"
|
|
|
|
|
. ../mod.bash
|
2022-06-15 00:15:50 +09:00
|
|
|
|
|
|
|
|
function install_gsettings() {
|
|
|
|
|
local uid
|
|
|
|
|
local gsettings_file
|
|
|
|
|
local gsettings_dir
|
|
|
|
|
uid=${SUDO_UID:-$(id -u)}
|
|
|
|
|
gsettings_file=$1
|
|
|
|
|
gsettings_dir=$2
|
|
|
|
|
< "$gsettings_file" \
|
|
|
|
|
sudo --user="#$uid" \
|
|
|
|
|
DBUS_SESSION_BUS_ADDRESS="unix:path=/run/user/$uid/bus" \
|
|
|
|
|
dconf load "$gsettings_dir"
|
|
|
|
|
}
|
|
|
|
|
|
2022-06-14 00:34:22 +09:00
|
|
|
(($(id -u) == 0)) \
|
|
|
|
|
&& [[ -f /etc/debian_version ]] \
|
|
|
|
|
&& install_apt_packages
|
2022-06-14 23:09:44 +09:00
|
|
|
install_gsettings settings.ini /
|
|
|
|
|
install_gsettings terminal-settings.ini "/org/gnome/terminal/legacy/profiles:/:$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d \')/"
|
