09-07-2008
Dear Franklin
what does this part "${i%.txt}".html mean ? the i% spesifically ?
Thanks
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
Greetings to all!!:b:
I have one root folder containing several other folders inside it. This tree structure is deep. And the files are of similar extension.
I need to start at the top level and recursively search and rename all the files with say .a extension to .b .
This is the code to... (7 Replies)
Discussion started by: riverside
7 Replies
2. UNIX for Dummies Questions & Answers
I searched the forum, but there was different type of rename.
Hello.
I have files in folder.
Like:
xxxxxxxx1.html
or
xxxxxxxx2.txt
or
xxxxxxxx3.tar.gz
and how to rename or change file extension case to
xxxxxxxx1.htm
or
xxxxxxx2.TXT
or (5 Replies)
Discussion started by: Sheldon
5 Replies
3. Shell Programming and Scripting
Hi guys,
i had many files like filename.20110520_20110519_050030
i have to rename the file by removint the last numerics ..
i.e filename.dat
i tried with cut command and removed the numerics but i'm not able to add .dat to the files.
is there any command insted of cut command to... (1 Reply)
Discussion started by: apple2685
1 Replies
4. Shell Programming and Scripting
hi!
i want to rename all files with no extension with the extension DAT.
with this command ls |grep -v "\\." i can list files but i dont know how i am going to rename them..
so
i tried
FILE_LIST=ls |grep -v "\\."
for TEST_FILE in ${FILE_LIST}
do
mv $TEST_FILE... (2 Replies)
Discussion started by: kouppoua
2 Replies
5. Shell Programming and Scripting
Hi,
I am trying to make all file in the directory uppercase but not their extension (ex: image.jpg becoming IMAGE.jpg)
here is code i am trying.
$ ls | while read file
do
name=${file%%.*}
newfilename=$(echo $name | tr 'a-z' 'A-Z')
mv $file $newfilename
done
any suggestions of... (4 Replies)
Discussion started by: johninweb
4 Replies
6. Shell Programming and Scripting
Hi,
I have files with filenames as below.
SGM Daily Sales Email-en-us-05312012.xlwa
I want to rename it in .xls. I am writing a script to change this, as there can be multiple files in subfolders.
I have the following script.
#!/bin/ksh
for oldfile in $(find... (1 Reply)
Discussion started by: mac4rfree
1 Replies
7. Shell Programming and Scripting
I have a list file that contains names of many files. I am reading one file name at a time using for loop
Then I like to create one more list file but with the file extension changed to "ctl".
Note: The file name can have any number of dots ".". But the extension after the last dot should be... (4 Replies)
Discussion started by: pinnacle
4 Replies
8. Shell Programming and Scripting
Hello,
I have multiple files named rscclog_2013-03-25.txt;3 in a directory, where 2013-03-25 is the previous day's date and the number after extension .txt preceded by a ';' is any number which i do not know beforehand.
Now, i have to rename all such files as rscclog_2013-03-25.txt
thus,... (2 Replies)
Discussion started by: rahulkt1987
2 Replies
9. Shell Programming and Scripting
After reading the manual of the command rename I would like to apply it to a folder with a couple of files containing old style dots before the file-type, e.g. up.to.the.roof.avi. So I'd like to rename them without the dots in between. Therefore I tried it the following way
rename -f -n ... (4 Replies)
Discussion started by: 1in10
4 Replies
10. Shell Programming and Scripting
I have a specific set (all ending with .bam) of downloaded files in a directory /home/cmccabe/Desktop/NGS/API/2-15-2016. What I am trying to do is use a match to $2 in name to rename the downloaded files. To make things a more involved the date of the folder is unique and in the header of name... (1 Reply)
Discussion started by: cmccabe
1 Replies
LBT(1) General Commands Manual LBT(1)
NAME
lbt - LTL to Buchi Translator
SYNOPSIS
lbt < formula.txt > automaton.txt
lbt2dot < automaton.txt > automaton.dot
DESCRIPTION
This manual page documents briefly the lbt and lbt2dot commands. This manual page was written for the Debian GNU/Linux distribution
because the original program does not have a manual page. Instead, it has documentation in HTML format; see below.
lbt is a filter that translates a linear temporal logic (LTL) formula to a corresponding generalized Buchi automaton. The translation is
based on the algorithm by Gerth, Peled and Vardi presented at PSTV'95, Simple on-the-fly automatic verification of linear temporal logic.
Hardly any optimizations are implemented, and the generated automaton is often bigger than necessary. But on the other hand, it should
always be correct.
The filter lbt2dot can be used to translate Buchi automata from the lbt output format to GraphViz format for visualization.
EXAMPLE
echo G p0 | lbt | lbt2dot | dotty -
SEE ALSO
dotty(1).
FILES
/usr/share/doc/lbt/html/index.html
The real documentation for LBT.
AUTHOR
This manual page was written by Marko Makela <msmakela@tcs.hut.fi>, for the Debian GNU/Linux system (but may be used by others). The lbt
program was written by Mauno Ronkko and Heikki Tauriainen, and it was optimized by Marko Makela, who also wrote the lbt2dot filter. Please
see the copyright file in /usr/share/doc/lbt for details.
August 10, 2001 LBT(1)