Changeset 15090


Ignore:
Timestamp:
03/18/13 14:39:20 (12 years ago)
Author:
tbretz
Message:
The script now determines from a link the name and residence of a program, so that by linking start.sh any program can be started.
File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/FACT++/start.sh

    r14221 r15090  
    11#!/bin/bash --login
    22
     3CALL=`basename "$0"`
     4LINK=`readlink "$0"`
    35
    4 CMD="$*"
    5 PRG="$1"
     6if [ -n "$LINK" -a $CALL != 'start.sh' ]; then
     7   DIR=`dirname "$LINK"`
     8   PRG=$DIR/$CALL
     9   CMD=$PRG" "$*
     10else
     11   DIR=`dirname "$0"`
     12   PRG=$DIR/$1
     13   CMD=$DIR/$*
     14fi
     15
     16# echo DIR=$DIR
     17# echo PRG=$PRG
     18# echo CMD=$CMD
    619
    720while [ true ]; do
    … …  
    2235   fi
    2336
    24    if [ -e compiling.lock ]; then
     37   if [ -e $DIR/compiling.lock ]; then
    2538      echo Compilation in progress... waiting 1s.
    2639      sleep 1
    … …  
    6679
    6780done
    68 
Note: See TracChangeset for help on using the changeset viewer.