Changeset 934


Ignore:
Timestamp:
Nov 12, 2010, 2:14:21 PM (7 years ago)
Author:
stefan
Message:
 
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dist-resources/linux/deb/jlatexeditor.sh

    r862 r934  
    11#!/bin/bash
     2
     3# if there is only one argument which is not an option then it must be a file which we could try to open directly
     4if [ $# == 1 ]; then
     5  if echo "$1" | grep -q "^[^-]"; then
     6    echo "open: $1" | nc -w 1 localhost 13231 2>/dev/null && exit 0
     7  fi
     8fi
    29
    310cd `dirname $0`
Note: See TracChangeset for help on using the changeset viewer.