diff options
Diffstat (limited to 'plymouth/debian/patches/0001-awk.patch')
| -rw-r--r-- | plymouth/debian/patches/0001-awk.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/plymouth/debian/patches/0001-awk.patch b/plymouth/debian/patches/0001-awk.patch new file mode 100644 index 0000000..5d62d95 --- /dev/null +++ b/plymouth/debian/patches/0001-awk.patch @@ -0,0 +1,22 @@ +Author: Daniel Baumann <mail@daniel-baumann.ch> +Description: Hack to fix awk call. + +--- a/scripts/plymouth-set-default-theme.in ++++ b/scripts/plymouth-set-default-theme.in +@@ -45,15 +45,7 @@ function list_themes () + function read_theme_name_from_file () + { + echo $(grep -v '^#' $1 2> /dev/null | +- awk ' +- BEGIN { +- RS="[[][[:blank:]]*[^[:space:]]+[:blank:]*[]\n]"; +- FS="[=[:space:]]+"; +- OFS=""; +- ORS="" +- } +- $1 ~/Theme/ { print $2 } +- ') ++ awk -F= '/Theme=/ { print $2 }') + } + + function get_default_theme () |