07-17-2009
In you write in C or perl you can call statvfs() directly. For a shell script, df is the what I would use.
5 More Discussions You Might Find Interesting
1. IP Networking
Hi ,
Currently DELL OMSA SNMP sends data through default udp port 161.I want my custom SNMP MIB also to send data in the same udp port 161.Whether its possible.If yes where to configure .I tried starting my custom MIB in udp port 161,but it throws port already in use.Kindly guide. (0 Replies)
Discussion started by: prabakar4all
0 Replies
2. Red Hat
Hi ,
Currently DELL OMSA SNMP sends data through default udp port 161.I want my custom SNMP MIB also to send data in the same udp port 161.Whether its possible.If yes where to configure .I tried starting my custom MIB in udp port 161,but it throws port already in use.Kindly guide. (1 Reply)
Discussion started by: prabakar4all
1 Replies
3. Solaris
Hello,
We had a problem on a Solaris system (SunOS 5.10) that hit LWP limit and caused fork 11 error. Now we need to come up with a script to simulate and reproduce that scenario. What would be a simple and valid way to generate lots of Light Weight Processes?
Thanks,
Jay (1 Reply)
Discussion started by: seafan
1 Replies
4. Shell Programming and Scripting
Don't know whether this is right category for this question. I request please consider it and advice correct cotegory if required. Here goes my question.
I want to build a distribution using debian/ubuntu. Currently i'm refering LinuxFromScratch.org, which is asking me a space for around 10gb. I... (3 Replies)
Discussion started by: kg_gaurav
3 Replies
5. UNIX for Dummies Questions & Answers
i am working with embedded system -Dell DCS management sub system. my question is as below:
currently we are using linux kernel 2.6.30 build and we have a kernel logs stored to the /var/log/messages path. now we have to transfer all this logs to the specified SNMP target as a part of SNMP... (4 Replies)
Discussion started by: vipul_prajapati
4 Replies
LEARN ABOUT DEBIAN
hol-light
HOL-LIGHT(1) General Commands Manual HOL-LIGHT(1)
NAME
hol-light - HOL Light interactive theorem prover
SYNOPSIS
hol-light [options...]
DESCRIPTION
The command hol-light is a simple wrapper for calling ocaml and loading the HOL Light basic definitions (by loading /usr/share/hol-
light/hol.ml instead of .ocamlinit as initialization file). Loading these definitions takes about 2 minutes on modern hardware, please be
patient. All options and other arguments are passed as options to ocaml.
If you have a readline-editor such as rlwrap, ledit or rlfe installed, the hol-light ocaml toplevel is wrapped in readline-editor. Install
just one of these readline editors or configure your preferred one via the alternative system.
SEE ALSO
ocaml(1), readline-editor(1), rlwrap(1), ledit(1), rlfe(1)
HOL Light documentation at http://www.cl.cam.ac.uk/~jrh13/hol-light/
AUTHOR
The hol-light script and this manual page were written by Hendrik Tews <hendrik@askra.de>, specifically for the Debian project (and may be
used by others).
March 16, 2012 HOL-LIGHT(1)