All pastes #813709 Raw Edit

Anonym

public text v1 · immutable
·published 2007-12-12 19:03 UTC
rendered paste body
#!/bin/sh
file_in=$1

if [ $file_in != *.nb ]; 
then 
    echo "Error, wrong file-type";
    exit 0;
fi

echo "Converting JEMS-File to ASCII-table (tab seperated) ..."