디렉토리를 잘라내고, 파일 이름과 확장자를 분리
$ filename=$(basename $pathandfile)
$ extension=${filename##*.}
$ filename=${filename%.*}

posted by 신묘군
TAG

댓글을 달아 주세요

  1.  Addr  Edit/Del  Reply 신묘군

    활용의 예

    for x in /딴디렉토리/figures/*prn; do filename=$(basename $x); ff=${filename%.*}; cp $x ./figures/$ff.ps; done

    딴 디렉토리의 모든 *.prn 파일을 *.ps 파일로 복사.

    2010.04.08 15:18
  2.  Addr  Edit/Del  Reply 나여...

    for x in *.prn; do fn=${x%.*}; ps2eps -f --rotate=+ $x; a2ping --Resolution=300 $fn.eps $fn.png; done

    2010.04.21 17:33