#! /bin/bash

function add_last_linefeed {
# $1 = file
  if [ "`tail -c 1 $1`" != "" ]; then
    echo "" >> $1
  fi
}

function delete_last_linefeed {
# $1 = file
  if [ "`tail -c 1 $1`" = "" ]; then
    xxx=$1;
    set yyyy `/bin/ls -l $xxx`
    head -c $(( $6 - 1 )) $xxx >$xxx.___
    mv -f $xxx.___ $xxx
  fi
}

mv src/base/keyboard src/plugin
rm -f src/plugin/keyboard/o_keyb_slang.c
mkdir src/plugin/keyboard/include src/plugin/keyboard/term
mv src/include/key* src/plugin/keyboard/include
(cd src/base/init; mv parser.y parser.y.in; mv lexer.l lexer.l.in)
mv src/env/video/terminal.c src/plugin/keyboard/term
mv src/env/video/terminal.h src/plugin/keyboard/include

for i in 1 ; do
  patch -p1 -s < tmp/patch-1.1.1.$i
done

#patch -p1 -s < tmp/patch-1.1.1

rm -f core `find . -name '*.orig'`
rm -f core `find . -size 0`
sh set-permissions
rm -rf tmp
