seb rev 27

Small fix to seb and use default prebuilt kernel
author Christophe Lincoln <pankso@slitaz.org>
date Mon Mar 13 19:56:17 2017 +0100 (2017-03-13)
parents e0373153fcbd
children ad9ff08f754a
files seb
line diff
     1.1 --- a/seb	Mon Mar 13 16:42:29 2017 +0100
     1.2 +++ b/seb	Mon Mar 13 19:56:17 2017 +0100
     1.3 @@ -12,11 +12,6 @@
     1.4  # --iso --work --linux can be set in config file or from cmdline
     1.5  [ -f "build.conf" ] && . build.conf
     1.6  
     1.7 -[ "$work" ]  || work="$(pwd)"
     1.8 -[ "$iso" ]   || iso="seb-os-$(date '+%Y%m%d').iso"
     1.9 -[ "$linux" ] || linux="/boot/vmlinuz-$(uname -r)"
    1.10 -[ "$port" ] || port="8940"
    1.11 -
    1.12  rootfs="$work/rootfs"
    1.13  rootiso="$work/rootiso"
    1.14  sebfs="$work/sebfs"
    1.15 @@ -29,6 +24,11 @@
    1.16  initfs="/usr/share/seb/initfs"
    1.17  packages="/usr/share/seb/packages"
    1.18  
    1.19 +[ "$work" ]  || work="$(pwd)"
    1.20 +[ "$iso" ]   || iso="seb-os-$(date '+%Y%m%d').iso"
    1.21 +[ "$linux" ] || linux="$tools/bzImage-4.9.13"
    1.22 +[ "$port" ] || port="8940"
    1.23 +
    1.24  # Working from source tree
    1.25  [ -d "tools" ]  && tools="$(pwd)/tools"
    1.26  [ -d "initfs" ] && initfs="$(pwd)/initfs"
    1.27 @@ -450,7 +450,7 @@
    1.28  		footer ;;
    1.29  	
    1.30  	-w|web)
    1.31 -		pid=$(ps | grep 8940 | grep -v grep | awk '{print $1}')
    1.32 +		pid=$(ps | grep $port | grep -v grep | awk '{print $1}')
    1.33  		if [ "$stop" ] && [ "$pid" ]; then
    1.34  			echo -n "Stopping Web interface... pid:"
    1.35  			kill ${pid}; info 035 "$pid"; exit 0