wok-current diff linux-libre-module-headers/receipt @ rev 20493
updated firefox-official-de (62.0.3)
author | Hans-G?nter Theisgen |
---|---|
date | Sun Oct 28 15:26:53 2018 +0100 (2018-10-28) |
parents | ad59999b3fce |
children | 9e8d7fd12ee2 |
line diff
1.1 --- a/linux-libre-module-headers/receipt Wed Jun 05 16:21:04 2013 +0200 1.2 +++ b/linux-libre-module-headers/receipt Sun Oct 28 15:26:53 2018 +0100 1.3 @@ -137,13 +137,13 @@ 1.4 } 1.5 1.6 pre_remove() { 1.7 - if [ -e $1/usr/src/linux ]; then 1.8 - rm -rf $1/usr/src/linux 1.9 + if [ -e "$1/usr/src/linux" ]; then 1.10 + rm -rf "$1/usr/src/linux" 1.11 fi 1.12 } 1.13 1.14 post_install() { 1.15 # Added soft link to make it easier to point to kernel folder 1.16 - [ -L $1/usr/src/linux ] && rm -f $1/usr/src/linux 1.17 - ln -sf /usr/src/linux-$KVERSION $1/usr/src/linux 1.18 + [ -L "$1/usr/src/linux" ] && rm -f "$1/usr/src/linux" 1.19 + ln -sf /usr/src/linux-$KVERSION "$1/usr/src/linux" 1.20 }