Gbrowse and GD installation in ia64 linux problem facing... Post: 302390133

10 More Discussions You Might Find Interesting

1. Linux

Installation Problem on Red hat linux 9

Hi, I am trying to install our new acquired Red Hat linux 9 on Compaq Proliant ML370. However, l has already configured the raid 0+1. The linux installation starts from the CD, its allows for the selection of Language, keyboard but l am stocked at choosing the installation package media. I...

2. UNIX for Dummies Questions & Answers

facing a problem in redirection

Hi, I am doing this perl script print (@line(1..15)); the lines 1 to 15 get printed... how can i redirect this to file? thanks and regards vivek.s

3. Solaris

please help as i am facing problem with uptime

Hi I am getting the uptime output as follows 12:40am up 4 day(s), 18:29, 2 users, load average: 38.97, 36.54, 34.89 The load average is too high . I have checked the processes , but no process is taking too much cpu time Please help

4. Programming

Problem shmat in HP-UX Titanium ia64. EINVAL Error

I have a process that needs two active connections to the same zone of shared memory simultaneously. The firs conection works ok, but when i do the second call to shmat it give me error 22 (EINVAL). Only works ok the second call to shmat if i disconnect the first connection (shmdt) Steps:...

5. SuSE

problem of readdir on IA64 suse

Dear Experts, i am trying to find whether the given name is file or a directory dirp = opendir(dirname); direntp = readdir(dirp); if(direntp->d_type & DT_DIR) { printf("\n is a dirctory"); } else { //dir_or_file = Mtrue; printf("\n not a directory"); } it always...

6. Linux

Problem in dual booting installation of linux on windows

Dear friends, I am experiencing the trouble while installing the Red Hat Linux 4 on top of windows XP, after booting its asking "What type of media contains the packages to be installed". Steps I followed: Step 1: left the free space as unpartitioned, (I also tried with the FAT32...

7. Solaris

Facing problem with zone

i am using this way to create zone1 and zone2 bash-2.05b# zonecfg -z zone1 zone1: No such zone configured Use 'create' to begin configuring a new zone. zonecfg:zone1> create zonecfg:zone1> set zonepath=/zone/1 zonecfg:zone1> set autoboot=true zonecfg:zone1> add net zonecfg:zone1:net>...

8. Shell Programming and Scripting

problem facing in if -else condition

can u plz tell me where is the error echo enter the filename to be searched read fname if #-d $fname then echo file exists if then echo itsa directory elif then echo its readable cat $fname else echo its not readable fi else ...

9. Linux

Linux Installation problem

Masters, I really need help here.... I had to format my system so my installed Linux goes away.. Now I am trying to fresh installation, but stuck at one point, did RND for 2-3 days but no luck, hence posting here.... I am stuck on the "installation method" step..As I am trying to install...

10. AIX

facing problem using su

Hi, I am able to login using su - or su directly , # prompt is coming, it doesnt ask for password. any normal user on aix system is login using su - or su . Please suggest where to change the configuration direct root login is disabled in /etc/ssh/sshd_config file.

LEARN ABOUT DEBIAN

prooftrans

PROOFTRANS(1)						      General Commands Manual						     PROOFTRANS(1)

NAME

       prooftrans - tool for transforming Prover9 proofs

SYNOPSIS

       prooftrans [parents_only] [expand] [renumber] [striplabels] [-f file]
       prooftrans xml [expand] [renumber] [striplabels] [-f file]
       prooftrans ivy [renumber] [-f file]
       prooftrans hints [-label label] [expand] [striplabels] [-f file]
       prooftrans tagged [-f file]

DESCRIPTION

       This manual page documents briefly the prooftrans command.

       prooftrans can extract proofs from prover9(1) output files and transform them in various ways.

OPTIONS

       A summary of options is included below.

       renumber
	      Renumber steps.

       parents_only
	      Simplify justifications by listing only parents.

       expand Expand all steps, turning secondary justifications into explicit steps.

       xml    Produce proofs in XML.

       ivy    Produce proofs for checking by the IVY proof checker.

       hints  Produce hints for guiding subsequent searches.

       tagged Produce proofs in a structured tagged format.

       -label label
	      Attach label attributes to the hint clauses consisting of the string label and a sequence number generated by prooftrans.

       -f file
	      Take input from file instead of from standard input.

SEE ALSO

       prover9(1).
       Full  documentation  for  prooftrans  is  found	in  the  prover9  manual,  available  on  Debian  systems  in  the  prover9-doc package at
       /usr/share/doc/prover9-doc/manual/index.html.

AUTHOR

       prooftrans was written by William McCune <mccune@cs.unm.edu>

       This manual page was written by Peter Collingbourne <peter@pcc.me.uk>, for the Debian project (but may be used by others).

								 January 20, 2007						     PROOFTRANS(1)

10 More Discussions You Might Find Interesting

1. Linux

Installation Problem on Red hat linux 9

Discussion started by: kayode

2. UNIX for Dummies Questions & Answers

facing a problem in redirection

Discussion started by: vivekshankar

3. Solaris

please help as i am facing problem with uptime

Discussion started by: guy009

4. Programming

Problem shmat in HP-UX Titanium ia64. EINVAL Error

Discussion started by: dairby