From 8f68b86ef33a42c26a7f23adcf36b54d60d4fd98 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Wed, 16 Nov 2022 10:00:19 +0100 Subject: system: remove as I am not using NixOS that provides this more easily --- system_install | 38 -------------------------------------- 1 file changed, 38 deletions(-) delete mode 100755 system_install (limited to 'system_install') diff --git a/system_install b/system_install deleted file mode 100755 index c493de8..0000000 --- a/system_install +++ /dev/null @@ -1,38 +0,0 @@ -#!/bin/bash - -if [ "$UID" -ne 0 ]; then - echo "Please run this as root!" >&2 - exit 6 -fi - -cd `dirname $0` - -git submodule update --init || (echo "Submodule update failed!"; exit 5) - -# Source inst and diff function -. ./utils/inst - -# Load if we force changes (implies no interaction) -[ "$1" = "-f" ] && FORCE=true || FORCE=false - -################################################################################# - -if ask "sys-path" "System PATH profile"; then - inst system/etc/profile.d/path.sh /etc/profile.d/path.sh -fi - -if ask "sys-x11" "X11 configuration"; then - inst system/etc/X11/ /etc/X11/ -fi - -if ask "sys-pulse" "System-wide PulseAudio configuration"; then - inst system/etc/pulse/ /etc/pulse/ -fi - -if ask "sys-wpa" "Wpa supplicant"; then - # TODO - true -fi - -# As final step just ensure that correct user is owning system files -chown -R $(stat -c "%U:%G" "$0") system -- cgit v1.2.3