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/live-bottom/06hostname | |
| 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/live-bottom/06hostname')
| -rwxr-xr-x | scripts/live-bottom/06hostname | 2 |
1 files changed, 1 insertions, 1 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 |