Unzip, copy, and delete loop Post: 302109615

10 More Discussions You Might Find Interesting

1. UNIX for Dummies Questions & Answers

Copy files from CD and Unzip

Hi, I've just installed solaris 9 onto a SPARC box and am connecting to the machine via a console cable using hyper terminal. Unfortunately i have not got a monitor so i'm having to do all my config using the command line (which i'm no good at) I'm trying to copy a patch cluster (ZIP) file...

2. HP-UX

How to Unzip a .ZIP file in Unix without using unzip cmd..?????

Hi All I have ftped a .ZIP file (zipped using WinZip in Windows) to my Unix server (HP-UX). I don't have unzip cmd available in my curent Unix version Please let me know any cmd in UNIX (other than unzip) using which I can unzip this .ZIP file . Please elaborate on the commands aval and...

3. Shell Programming and Scripting

while loop to copy on failure

I'm trying to do an automated SCP (passwordless auth is already set up) from a bash script... My problem is that on the receiving end, the computer will sometimes NOT actually get my files. BUT if I loop enough times (by hand at the moment) calling an 'ls' on those files, I can see if the files...

4. Solaris

Delete and copy file(s) slowly(!?)

Hi all! I have to monitor space in V890 machine, Solaris 10 weekly, because there is Oracle DB on it with many datafiles which have been taken offline to make enough size. Sometime, one or more datafiles are big, they are 20GB, 40GB etc.. The problem I have encountered is the processing of...

5. Shell Programming and Scripting

Copy and Delete Question

I have a script to tar up some older files. It did a find and mv, but I had to change it to preserve the directory structure because some of the directories now have duplicate nameed files. I changed it to a find and copy, then added a find and remove. Is there a better way so I don't have to...

6. Shell Programming and Scripting

How to Unzip a .ZIP file in Unix without using unzip cmd..?????

7. Shell Programming and Scripting

unzip with subdirectorys - for loop

Hey! I have some problems with unzip special files in subdirectorys. These Bash unzip -j ./content.zip simages/062/06213/0621352.jpg -d ./images/ unzip -j ./content.zip simages/062/06213/0621356.jpg -d ./images/ unzip -j ./content.zip simages/062/06213/0621351.jpg -d ./images/ unzip -j...

8. Shell Programming and Scripting

Loop to copy like files

Hi, I need to write a script that copies all .zip files in the subdirectories of ~100 folders. No clue how to write a loop that goes into each folder, searches for a .zip file, and copies it and extracts it to a unique location. I imagine something like cp -f /home/folder1/*.zip...

9. Shell Programming and Scripting

Loop folders, delete files, copy new ones

Folks, I am hopeful that you may be able to help me out with writing a script that can be run nightly (as cron?) to loop through all subfolders within the "/media" directory, delete all of the files in each of them, and then copy in all of the files from the "/home//sansa" directory to each of...

10. Shell Programming and Scripting

Unzip the .zip file without using unzip utility in UNIX

I have .zip file, i want to list all the files archived in the zip file. unzip utility is not working for me in unix. Please help me resolve this issue Thanks ganesh.

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)

10 More Discussions You Might Find Interesting

1. UNIX for Dummies Questions & Answers

Copy files from CD and Unzip

Discussion started by: AJD

2. HP-UX

How to Unzip a .ZIP file in Unix without using unzip cmd..?????

Discussion started by: sureshg_sampat

3. Shell Programming and Scripting

while loop to copy on failure

Discussion started by: jjinno

4. Solaris

Delete and copy file(s) slowly(!?)

Discussion started by: trantuananh24hg

5. Shell Programming and Scripting

Copy and Delete Question

Discussion started by: prismtx

6. Shell Programming and Scripting

How to Unzip a .ZIP file in Unix without using unzip cmd..?????

Discussion started by: sureshg_sampat

7. Shell Programming and Scripting

unzip with subdirectorys - for loop

Discussion started by: loptr

8. Shell Programming and Scripting

Loop to copy like files

Discussion started by: nez

9. Shell Programming and Scripting

Loop folders, delete files, copy new ones

Discussion started by: acraig

10. Shell Programming and Scripting

Unzip the .zip file without using unzip utility in UNIX

Discussion started by: Ganesh L

LEARN ABOUT DEBIAN

dfg2tptp