Need help in wrting Load Script for a Load-Resume type of load. Post: 302095578

9 More Discussions You Might Find Interesting

1. UNIX for Advanced & Expert Users

load monitor script

I need help in finding a script to monitor loads for 8+ servers on a single console. The goal here is to centralize it and run the script from a single server. Can anyone help on this? Im running this script on each server to monitor the load. while true; do w | grep average | grep -v grep...

2. Shell Programming and Scripting

How to load different type of data in a file to two arrays

Hi, I have tried to find some sort of previous similar thread on this but not quite close to what I want to achieve. Basically I have two class of data in my file..e.g 1,1,1,1,1,2,yes 1,2,3,4,5,5,yes 2,3,4,5,5,5,no 1,2,3,4,4,2,no 1,1,3,4,5,2,no I wanted to read the "yes" entry to an...

3. Web Development

script to load data from csv file

hello i want a script to load the data line by line from a csv file into a mysql table

4. Shell Programming and Scripting

30 Load average with fping script

Hi! I've make a script that gets a list of 200 Ip's and calls another script once per ip in a infinite loop with a pause of 10 seconds. So It calls over 200 times every 10 seconds the second script (that makes a fping). But this cause a load average of 30. I've been reading about this and I...

5. Shell Programming and Scripting

shell script to create disk load

friends , need a shell script to create a disk load. can any one pls guide me with how this can be implemented. Pls provide the concept. from there i will try to design my script.

6. AIX

How to automatically load a script once I login?

Hi, may I know how to automatically load a script once I login? For example, I want to load "set -o vi" command once I login in my Aix.

7. Shell Programming and Scripting

Stop load script if error found...

Hi all, Is there any command in Unix, which will stop the load process if any error is found in the i/p file? I am trying to load 5 files sequentially. A then B then C then D then E end; 1) If A encounter's any error while data load, the load process should stop, and it should not...

8. Shell Programming and Scripting

Bash script affect load average

Hello I have created next scritpt to do the next: chekp if host is alive. When the host down, launch telnet other equip to do checks. When execute the script the load average of the machines increase. For example: Before launch script top - 11:14:56 up 14 days, 18:06, 3 users, load...

9. UNIX for Dummies Questions & Answers

VPS has load 200, httpd load no activity, netstat nothing

Hello, on my hostserver i see one VPS of mine got load of 200.00 and netstat nothing (not a single blank line on netstat command) after some time, netstat started showing connections, but i see no excessive IP connections. tail -f /var/log/httpd/access_log shows no activity /var/log/messages ;...

LEARN ABOUT DEBIAN

coqide

COQIDE(1)						      General Commands Manual							 COQIDE(1)

NAME

       coqide - The Coq Proof Assistant graphical interface

SYNOPSIS

       coqide [ options ]

DESCRIPTION

       coqtop is a gtk graphical interface for the Coq proof assistant.

       For command-line-oriented use of Coq, see coqide(1) ; for batch-oriented use of Coq, see coqc(1).

OPTIONS

       -h     Show the complete list of options accepted by coqide.

       -I dir, -include dir
	      Add directory dir in the include path.

       -R dir coqdir
	      Recursively map physical dir to logical coqdir.

       -src   Add source directories in the include path.

       -is f, -inputstate f
	      Read state from f.coq.

       -nois  Start with an empty state.

       -outputstate f
	      Write state in file f.coq.

       -load-ml-object f
	      Load ML object file f.

       -load-ml-source f
	      Load ML file f.

       -l f, -load-vernac-source f
	      Load Coq file f.v (Load f.).

       -lv f, -load-vernac-source-verbose f
	      Load Coq file f.v (Load Verbose f.).

       -load-vernac-object f
	      Load Coq object file f.vo.

       -require f
	      Load Coq object file f.vo and import it (Require f.).

       -compile f
	      Compile Coq file f.v (implies -batch).

       -compile-verbose f
	      Verbosely compile Coq file f.v (implies -batch).

       -opt   Run the native-code version of Coq or Coq_SearchIsos.

       -byte  Run the bytecode version of Coq or Coq_SearchIsos.

       -where Print Coq's standard library location and exit.

       -v     Print Coq version and exit.

       -q     Skip loading of rcfile.

       -init-file f
	      Set the rcfile to f.

       -user u
	      Use the rcfile of user u.

       -batch Batch mode (exits just after arguments parsing).

       -boot  Boot mode (implies -q and -batch).

       -emacs Tells Coq it is executed under Emacs.

       -dump-glob f
	      Dump globalizations in file f (to be used by coqdoc(1)).

       -impredicative-set
	      Set sort Set impredicative.

       -dont-load-proofs
	      Don't load opaque proofs in memory.

       -xml   Export XML files either to the hierarchy rooted in the directory COQ_XML_LIBRARY_ROOT (if set) or to stdout (if unset).

SEE ALSO

       coqc(1), coqtop(1), coq-tex(1), coqdep(1).
       The Coq Reference Manual, The Coq web site: http://coq.inria.fr, /usr/share/doc/coqide/FAQ.

AUTHOR

       This manual page was written by Samuel Mimram <samuel.mimram@ens-lyon.org>, for the Debian project (but may be used by others).

								   July 16, 2004							 COQIDE(1)