diff options
| author | Chris Lamb <chris@chris-lamb.co.uk> | 2008-08-12 18:18:38 +0100 |
|---|---|---|
| committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 17:48:01 +0100 |
| commit | c2d0b8e505f64845eb7fe3b75fd310758a937b28 (patch) | |
| tree | ac4d092f476a77864e1587f75181132f23775387 | |
| parent | 08a22eac0ed62af35a55d8a70b40949adabd03ce (diff) | |
| download | live-boot-c2d0b8e505f64845eb7fe3b75fd310758a937b28.tar.gz live-boot-c2d0b8e505f64845eb7fe3b75fd310758a937b28.zip | |
Add missing pipe. Thanks to Andreas Bombe.
| -rwxr-xr-x | scripts/live-bottom/20xconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/live-bottom/20xconfig b/scripts/live-bottom/20xconfig index c06a505..955032f 100755 --- a/scripts/live-bottom/20xconfig +++ b/scripts/live-bottom/20xconfig @@ -83,7 +83,7 @@ ${setoptions} EOF DEBUG_XORG_PACKAGE=1 DEBUG_XORG_DEBCONF=1 live-reconfigure /root xserver-xorg 2>&1 \ - grep -v "overwriting possibly-customised configuration file" + | grep -v "overwriting possibly-customised configuration file" umount /root/sys umount /root/proc umount /root/dev |