Determine which file is invoking process? Post: 302077510

10 More Discussions You Might Find Interesting

1. UNIX for Dummies Questions & Answers

How to determine if a file is ASCII?

I'm writing a script that takes a filename as an argument, which determines the "file type" of the file. I want to know if there is any command I can use to determine if a file is ASCII type, thanks all for giving a help.

2. Shell Programming and Scripting

Shell script for accessing a file in the network drive and invoking oracle sql loader

Hi, Please let me know if anybody is having a solution handy for the below tasks... It would be helpful if somebody can resolve my query. I am new to unix and oracle environment and looking for some online reference for completing a task. Task: Check if the network drive exists Check...

3. Shell Programming and Scripting

determine owner of a file

Hello, I am on a mission to determine the user of file. I have used the ls -l command but it displays permission, link, user, group, etc, but I just want to display just the name of user of a specified file. Many thanks

4. AIX

How to determine what process is actively using my harddisk?

Hi, Is there any command that I can issue to check who is actively using my harddisk? I notice that yesterday the hdisk0 and hdisk1 is really actively being used and is reaching almost 100%. I realized that this is because of paging which is climbing up to 70%. However, just this morning...

5. UNIX for Dummies Questions & Answers

determine total memory used by some user/process

HI guys, :confused:i would like to know how can i determine the total/approx memory used by a single user. Example Top output is below =========================================================================== top - 20:00:50 up 24 days, 2:48, 2 users, load average: 0.43, 0.40, 0.37...

6. Shell Programming and Scripting

issue invoking shell script using cron, even with proper file permission

I am using tcsh what could possibly be a problem, when using crontab to invoke a shell script. ? The script has the read, write and execute permission to all users. And the script works as expected while executing it in stand-alone mode. Is there a way to trace (like log) what error...

7. Shell Programming and Scripting

Determine BL and RL of a file

A regular ebcdic mainframe tape usually contains header information the 1st three blocks of the tape. The header information tells the computer/user more information about what is on tape. The header info is 240 bytes in length at 80 bytes each header. The 1st block/header is volume name or...

8. Shell Programming and Scripting

Determine amount of time to process

Hello all, Hopefully someone can point me in the right direction... I have a script written in bash which is pretty basic and just stop/starts various services based on particular conditions. What I am trying to build is a reporting type function which will send out an email with various stats...

9. Shell Programming and Scripting

How to determine if there's a file in directory!

Hi All, I'm just wondering how can i determined if there's a file in directory and put it in a logs? dir="/home/test/" Please advise, Thanks, Use code tags, thanks.

10. Shell Programming and Scripting

How to determine the completion of a background process to trigger something else?

I've been thinking about a peculiar problem, and so far haven't been able to find out a convincing solution to that. To put it simply, I have a shell script (assume it to be parent_script.sh), calling another shell script (child_script.sh) 5 times, in nohup mode to be executed in the background....

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

How to determine if a file is ASCII?

Discussion started by: popo

2. Shell Programming and Scripting

Shell script for accessing a file in the network drive and invoking oracle sql loader

Discussion started by: sayydevara

3. Shell Programming and Scripting

determine owner of a file

Discussion started by: unibboy

4. AIX

How to determine what process is actively using my harddisk?

Discussion started by: depam