diff options
| author | Chris Lamb <lamby@debian.org> | 2008-10-01 00:56:30 +0100 |
|---|---|---|
| committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 17:48:02 +0100 |
| commit | 116f7ddd2e6ebb1377474da592b7d43604e7b166 (patch) | |
| tree | ac322b080e40fa2f66e747ae0f4661b4ee49d07d /scripts | |
| parent | 83f906b640856660217698523e50d948eddb3e1b (diff) | |
| download | live-boot-116f7ddd2e6ebb1377474da592b7d43604e7b166.tar.gz live-boot-116f7ddd2e6ebb1377474da592b7d43604e7b166.zip | |
Use "grep -qs" over "grep -q" for compatibility (see grep(1))
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/live-bottom/06hostname | 2 | ||||
| -rwxr-xr-x | scripts/live-bottom/12fstab | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/scripts/live-bottom/06hostname b/scripts/live-bottom/06hostname index 75ea801..ba71fce 100755 --- a/scripts/live-bottom/06hostname +++ b/scripts/live-bottom/06hostname @@ -32,7 +32,7 @@ log_begin_msg "Setting hostname" # live-initramfs script # Change hostname only if it is not set -if [ ! -f /root/etc/hostname ] || grep -q localhost\.localdomain /root/etc/hostname +if [ ! -f /root/etc/hostname ] || grep -qs localhost\.localdomain /root/etc/hostname then echo "${HOSTNAME}" > /root/etc/hostname else diff --git a/scripts/live-bottom/12fstab b/scripts/live-bottom/12fstab index 2dba37a..f38eee7 100755 --- a/scripts/live-bottom/12fstab +++ b/scripts/live-bottom/12fstab @@ -33,7 +33,7 @@ log_begin_msg "Configuring fstab" # live-initramfs script # Create a fake fstab only if it is not already there -if [ ! -f "${FSTAB}" ] || grep -q 'UNCONFIGURED FSTAB FOR BASE SYSTEM' "${FSTAB}" +if [ ! -f "${FSTAB}" ] || grep -qs 'UNCONFIGURED FSTAB FOR BASE SYSTEM' "${FSTAB}" then cat >> ${FSTAB} << EOF # /etc/fstab: static file system information. |