Revision 43216 trunk/org.gvsig.desktop/org.gvsig.desktop.framework/org.gvsig.andami/src/main/resources-application/gvSIG.sh

View differences:

gvSIG.sh
38 38 
#set -x
39 39 
set -e
40 40 

  		




  41
  
  
    
if [ "$BASH_VERSION" = "" ] ; then


  		




  42
  
  
    
    echo "gvSIG.sh is not running with a bash shell"


  		




  43
  
  
    
    if type bash 2>/dev/null ; then


  		




  44
  
  
    
        echo "Relaunch gvSIG.sh with a bash shell."


  		




  45
  
  
    
        exec bash $@


  		




  46
  
  
    
    else


  		




  47
  
  
    
        echo "Can't locate a bash, continue the execution with current shell."


  		




  48
  
  
    
    fi


  		




  49
  
  
    
fi


  		




  
  41
  
    
#if [ "$BASH_VERSION" = "" ] ; then


  		




  
  42
  
    
#    echo "gvSIG.sh is not running with a bash shell"


  		




  
  43
  
    
#    if type bash 2>/dev/null ; then


  		




  
  44
  
    
#        echo "Relaunch gvSIG.sh with a bash shell."


  		




  
  45
  
    
#        exec bash $@


  		




  
  46
  
    
#    else


  		




  
  47
  
    
#        echo "Can't locate a bash, continue the execution with current shell."


  		




  
  48
  
    
#    fi


  		




  
  49
  
    
#fi


  		




  50
  50
  
    

  		




  51
  51
  
    
onerror() {


  		




  52
  52
  
    
  set +x


  		












Also available in:  Unified diff