|
|
Sponsored Content
Operating Systems
HP-UX
/opt/langtools
Post 97669 by Perderabo on Wednesday 1st of February 2006 11:26:30 AM
02-01-2006
|
|
9 More Discussions You Might Find Interesting
1. UNIX for Dummies Questions & Answers
how can i make more space in my /opt (1 Reply)
Discussion started by: CreamHarry
1 Replies
2. Post Here to Contact Site Administrators and Moderators
Maybe I'm missing something but when I go to CP->Options, I see the box for selecting which forum to opt out of but no way to set it. (5 Replies)
Discussion started by: drhowarddrfine
5 Replies
3. HP-UX
The /opt file system needs to be extended. I know the basic commands, but /opt will not unmount. fuser shows nothing and I see no jobs running from /opt. If I need to take it down to single user mode to do this, then what is the best command? Any help is appreciated. Is there a way to stop all... (3 Replies)
Discussion started by: joettacm
3 Replies
4. Linux
When I logon to my server with PuTTY I am forced into a selection menu with few options. How to I opt out of this menu to get to the home directory to view all of the files on the server?
Thanks for the help. :o (1 Reply)
Discussion started by: ksirimarco
1 Replies
5. UNIX for Advanced & Expert Users
Can anyone help me in cleaning /opt filesystem..
i have checked all the options and i have cleared all the logs and the total size of the files in /opt is shown as 1.8GB were as the size of /opt is 4.8GB
but wen i run the command
# df -h /opt
it gives
capacity
99%
Please help... (17 Replies)
Discussion started by: kjamsheed
17 Replies
6. Solaris
Hi,
/opt on my disk is almost 90%. I thought of growing it. I followed the below procedure:
1. added a new hard disk
2. formatted the same with ufs
3. created a slice and tried to label it as "opt" with "wm" permissions.
but got stuck at 3 as it is not allowing me to label the slice... (9 Replies)
Discussion started by: EmbedUX
9 Replies
7. UNIX for Dummies Questions & Answers
Hello Gurus,
Can any one explain me the difference between /opt and /usr/local. When should we use them. Can we link with any directory in windows I mean similarity between unix and windows. (7 Replies)
Discussion started by: rama krishna
7 Replies
8. What is on Your Mind?
Hey!
I'm thinking we should change the toolbar to "opt in" and have it off for members by default?
But then, the would not have toolbar access to the code tag videos, etc. so then I thought to make it "opt in" after say 30 posts. That way, the toolbar will show to all new users with less... (5 Replies)
Discussion started by: Neo
5 Replies
9. Red Hat
Process not running: /opt/java15/jdk/bin/java -classpath /opt/apache/apache-ant-1.7.0-mod/lib/ant-la
Have no idea on what the below error message is:
Process not running: /opt/java15/jdk/bin/java -classpath /opt/apache/apache-ant-1.7.0-mod/lib/ant-launcher.jar org.apache.tools.ant.launch.Launcher -buildfile build.xml dist.
Any help? (3 Replies)
Discussion started by: gull05
3 Replies
LEARN ABOUT DEBIAN
coqmktop
COQ(1) General Commands Manual COQ(1) NAME
coqmktop - The Coq Proof Assistant user-tactics linker SYNOPSIS
coqmktop [ options ] files DESCRIPTION
coqmktop builds a new Coq toplevel extended with user-tactics. files are the Objective Caml object or library files (i.e. with suffix .cmo, .cmx, .cma or .cmxa) to link with the Coq system. The linker produces an executable Coq toplevel which can be called directly or through coqc(1), using the -image option. OPTIONS
-h Help. List the available options. -srcdir dir Specify where the Coq source files are -o exec-file Specify the name of the resulting toplevel -opt Compile in native code -full Link high level tactics -top Build Coq on a ocaml toplevel (incompatible with -opt) -searchisos Build a toplevel for SearchIsos -ide Build a toplevel for the Coq IDE -R dir Specify recursively directories for Ocaml -v8 Link with V8 grammar SEE ALSO
coqtop(1), ocamlmktop(1). ocamlc(1). ocamlopt(1). The Coq Reference Manual. The Coq web site: http://coq.inria.fr April 25, 2001 COQ(1)