>> Edit article
이름
제목
패스워드
그러면 확장자를 txt에서 cgi로 바꿀려면 어떻게 해야 하나요 정말 엄청난 txt를 cgi로 바꾸어야 해요 도와주세요 이곳에 질문을 올려서 죄송합니다. : : $ cat ren : : for FILE in *.TXT : : do : : echo $FILE : : FILE=`echo $FILE | awk -F .TXT '{print $1}'` : : cp "$FILE.TXT" "$FILE" : : done : : 이럴 필요 없이 basename을 쓰면 될텐데요. : : #!/bin/sh : : for file in * : do : mv $file `basename $file $1` : end : : 이런 스크립트를 만들고, 이름을 stripext라 하고, : : $ stripext '.TXT' : : 하면 TXT 확장자를 전부 떼어낼 수 있네요. : : -- : -----BEGIN GEEK CODE BLOCK----- : Version: 3.1 : GE d- s:-- a-- C+++ U++ P+ L++ E--- W++ N++ o-- K? w-- O-- M- V? PS++ PE-(--) : Y+>++ PGP++>+++ t? 5? X R tv-> b+ DI? D-(--) G e+ h- r+ y-- : ------END GEEK CODE BLOCK--------Freaky
Copyleft
1999-2026 by
JSBoard Open Project
Theme Designed by
IDOO
All right reserved