# HG changeset patch # User Pascal Bellard # Date 1571566389 -7200 # Node ID da1ed39c4f67feb273a45420e87e9581c2d5986a # Parent 903ebc4acdcd788377ae0408c35c7d36e69355c4 Remove cat process diff -r 903ebc4acdcd -r da1ed39c4f67 etc/init.d/bootopts.sh --- a/etc/init.d/bootopts.sh Sat Mar 30 10:10:52 2019 -0400 +++ b/etc/init.d/bootopts.sh Sun Oct 20 12:13:09 2019 +0200 @@ -23,7 +23,7 @@ # This option is not handled by a loop and case like others and has no # effect on an installed system. if fgrep -q 'user=' /proc/cmdline; then - USER=$(cat /proc/cmdline | sed 's/.*user=\([^ ]*\).*/\1/') + USER=$(sed 's/.*user=\([^ ]*\).*/\1/' /proc/cmdline) # Avoid usage of an existing system user or root. if grep -q ^$USER /etc/passwd; then USER=tux @@ -111,7 +111,7 @@ sleep $USBDELAY fi - USER=$(cat /etc/passwd | sed '/:1000:/!d;s/:.*//;q') + USER=$(sed '/:1000:/!d;s/:.*//;q' /etc/passwd) DEVID=$DEVICE if [ -x /sbin/blkid ]; then # Can be a label, uuid, type or devname. DEVID gives us first: /dev/name.