08-19-2008
What are you trying to do, do something with max semaphores number ? What is the OS, are you root ? Shed some more light.
7 More Discussions You Might Find Interesting
1. Post Here to Contact Site Administrators and Moderators
Hello,
Pls change my login name to Awadhesh instead of awadhesh if possible. it will be more better if it become Awadhesh Pandey.
Thanks a lot.
Awadhesh (2 Replies)
Discussion started by: Awadhesh
2 Replies
2. Shell Programming and Scripting
Hi,
I would like realize a script that it can change " wc -l" with "wc -l | sed 's/ //g'", but my problem is that i can have
a pipe ,a variable ( many variable different) or a file after wc -l ?how i could test this several case ?
wc -l | cut -d' ' -f1`
if
wc -l ${F} | awk... (1 Reply)
Discussion started by: francis_tom
1 Replies
3. Homework & Coursework Questions
bh,lg.yu.,fgh,ry,.tyl,tyk,ty,ty,ty,. (7 Replies)
Discussion started by: frankycool
7 Replies
4. Shell Programming and Scripting
Hi, I am creating a ksh script to search for a string of text inside files within a directory tree. Some of these file are going to be read/execute only. I know to use chmod to change the permissions of the file, but I want to preserve the original permissions after writing to the file. How can I... (3 Replies)
Discussion started by: right_coaster
3 Replies
5. Shell Programming and Scripting
I have 100 files in a directory , all the files have a word "error" and they are created in different date . Now I would like to change the word from "error" to "warning" , and keep the date of the files ( that means do not change the file creation date after change the word ) , can advise what can... (0 Replies)
Discussion started by: ust3
0 Replies
6. Shell Programming and Scripting
I have 100 files in a directory , all the files have a word "error" and they are created in different date . Now I would like to change the word from "error" to "warning" , and keep the date of the files ( that means do not change the file creation date after change the word ) , can advise what can... (7 Replies)
Discussion started by: ust3
7 Replies
7. SCO
Hello
I'm trying to virtualize an instance of Sco Unix 5.0.5 in VirtualBox (called VM-A) , but sco I have problems set to launch with the new raid controller .
The physical machine has a raid controller adaptec (alad driver) but VirtualBox uses buslogic (blc driver)
What ... (3 Replies)
Discussion started by: flako
3 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)