diff options
Diffstat (limited to 'sh/eci.sh')
-rw-r--r-- | sh/eci.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/sh -x TMPFILE="/tmp/.eci.$RANDOM" @@ -29,7 +29,7 @@ DELCOMMENTFROM=$(grep -n -- '--This line and thoses under will be ignored--' $TM head -n $(($DELCOMMENTFROM-1)) $TMPFILE > ${TMPFILE}.send echo " -$USER from $(hostname -f) : $(date "+%d/%m/%y %X") +$USER from $(if [[ `uname -o` = "Cygwin" ]]; then hostname; else hostname -f; fi) : $(date "+%d/%m/%y %X") $(cat ${TMPFILE}.send) File changes : |