Hi there,
I'm wanting to produce a shell script that will check through some file names and identify a skip in sequence (four digit seq num in file name).
I have played on the idea of havng a file that has a sorted list of file names which I can read line at a time and cut out the sequence... (1 Reply)
The following script have some bug...can you all help me:
#!/bin/sh
start=1
for file_number in `ls -1 /appl/CH_DATA/archive/list1/CACHE/CDBACKUPFILEJohn*.archived | sort | cut -c 48,49,50,51`
do
if ; then
# this is the first pass of the loop, so we've got nothing to compare
start=0... (3 Replies)
hello,
I have the following script to check the invoice number is in order or not.
However, it cannot show out the correct information. My expect output show below and I would like to only list out the NOT IN SEQUENCE inovice number (not included "ok")
#!/bin/sh
start=1
for file_number in... (8 Replies)
Hi All,
My script is reading a log file line by line
log file is like ;
19:40:22 :INFO Total time taken to Service External Request---115ms
19:40:25 DEBUG : Batch processed libdaemon.x86_64 0-0.10-5.el5 - u
19:40:22 INFO Total time taken to Service External Request---20ms
19:40:24... (4 Replies)
Using Solaris 10 and sh.
I have three files.
mydirs.txt
/dir1/dir2/dir3
/dir4/dir5/dir6
mydirshave.txt
1
2
mydirsshouldhave.txt
2
2
For each directory listed in mydirs.txt I should have the number of files equal to mydirshouldhave.txt. But using -ls |wc -l- on the dirs I get what... (2 Replies)
I have written a function that fills an array and another function where if a parameter is supplied it will jump to that part of the array and cat it to the screen.
I need to put in some checks to make sure the parameter supplied is firstly a number and then not a number great than the length of... (2 Replies)
Use and complete the template provided. The entire template must be completed. If you don't, your post may be deleted!
1. The problem statement, all variables and given/known data:
Your script must check for the correct number of arguments (one argument). If somebody tries to invoke the... (1 Reply)
ok im trying to find out how many cars a user enters. Its giving me an error message of "integer expression expected"
Basically if i enter any number over 0 (zero) it should continue
read -p "How many cars:" carsn
test $cars -ge 1
test $? -ne 0 && read -p "Invalid number.... (8 Replies)
I am parsing a file and I get differnt results everytime.
Sometimes I get 12s sometimes I get 54m and sometime 3h..
v1=12s or v1=54m or v1=3h
12s - 12 seconds
54m - 54 minutes
3h - 3 hour
I have to write a script in such a way that it whenever v1 is in minutes,
I should strip "m"... (14 Replies)
Hi All,
I am checking whether each line is having "n" number of commas or nor. In case not then I need to exit the process.
I tried
cat "$TEMP_FILE" | while read LINE
do
processing_line=`expr $processing_line + 1`
no_of_delimiters=`echo "$LINE" | awk -F ',' '{ print NF }'`
if
... (4 Replies)
Discussion started by: Anupam_Halder
4 Replies
LEARN ABOUT DEBIAN
dfg2tptp
DFG2TPTP(1) SPASS DFG2TPTP(1)NAME
dfg2tptp - transforms DFG files into TPTP files
SYNOPSIS
dfg2tptp <input-file> <output-file>
DESCRIPTION
dfg2tptp is a program which converts a problem input file in DFG format into a problem input file in TPTP format. The TPTP problem format
is used by the TPTP library of test problems for automated theorem proving, available at http://www.math.miami.edu/~tptp/. Various tools
exist to convert problems in TPTP format into input files for other theorem provers.
SEE ALSO checkstat(1), filestat(1), pcs(1), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1), dfg2otter(1), SPASS(1)AUTHORS
Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach
Contact : spass@mpi-inf.mpg.de
perl v5.10.0 2010-02-23 DFG2TPTP(1)