How to Load a File into Memory Post: 302322998

9 More Discussions You Might Find Interesting

1. Shell Programming and Scripting

Shell Script to Load data into the database using a .csv file and .ctl file

Since i'm new to scripting i'm findind it difficult to code a script. The script has to be an executable with 2 paramters passed to it.The Parameters are 1. The Control file name(.ctl file) 2. The Data file name(.csv file) Does anybody have an idea about it? :confused:

2. Shell Programming and Scripting

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

hi all need your help. I am wrting a script that will load data into the table. then on another load will append the data into the existing table. Regards Ankit

3. HP-UX

HP-UX File System device load

Hi Guys, I am new to HP-UX system, can someone please let me know which file or what process is require to load all the devices when the system boot up. Currently I am having a few issue when starting the system it does not load all the device. Cheers,

4. Programming

how to load a file in memory for doing DMA transfer to Bus master DMA

i need to send a file to the ethernet card , thro DMA mode i have an bus master ethernet card soo how can i initiate the dma for the ethernet card??? and how do i load the file into memory so tht i can directly give the address of the file to nic for DMA transfer pls help :( :(

5. HP-UX

How can I get memory usage or anything that show memory used from sar file?

Refer from title: How can i get memory used or anything that can show memory from sar file example on solaris:- we can use sar with option to show memory used at time that sar crontab run. on HP-UX, it not has option to see memory used. But i think it may be have some parameter or some...

6. UNIX for Advanced & Expert Users

Memory load test

is there a program out there that will put a memory load on my HP_ux 11.11 box. I need to stress mem/swap to setup memory thresholds for my monitoring software. I am using Nimbus to monitor memory and swap. glance is telling me that memory is never past 70 percent however nimbus will page out ...

7. UNIX for Advanced & Expert Users

Load file name as a column

I have 300,000 folder and inside each folder i have N number of .csv files. Now the question is, i need to add the respective file name as one of the column in each file. How to do it? Thanka in advance Ram

8. 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 ;...

9. Shell Programming and Scripting

Script fro file check and load the trail file

Hi, Im going to use shell script for load the data into DB. First i need to read the trail file(csv file has two columns with comma separated ) like file name trail1024(last 4 digitsMMDD). In this trail file 27 entries will have like below,I need to read first csv file name and get the 4...

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)