# HG changeset patch # User Pascal Bellard # Date 1304170750 -7200 # Node ID 2adbda7368cdcb8a89e15e8dd48bafe0909f3ce3 # Parent 73b9bb01cd15b0f8f781462ceb8d07e7c7df44d5 manager: fix boot.log ouput diff -r 73b9bb01cd15 -r 2adbda7368cd manager-fr/stuff/var/www/index.sh --- a/manager-fr/stuff/var/www/index.sh Fri Apr 01 20:31:08 2011 +0200 +++ b/manager-fr/stuff/var/www/index.sh Sat Apr 30 15:39:10 2011 +0200 @@ -120,6 +120,8 @@ EOT case "$i" in /etc/ppp*) cat $i ;; + *boot.log) sed -e s'/\[^Gm]*.//g' \ + -e ':a;s/^\(.\{1,68\}\)\(\[ [A-Za-z]* \]\)/\1 \2/;ta' $i ;; *) su -c "cat $i" tux ;; esac cat <