Login or Register to Ask a Question and Join Our Community

Sponsored Content
Full Discussion: help on environment variable
Top Forums UNIX for Advanced & Expert Users help on environment variable Post 35145 by mehuldoshi on Saturday 29th of March 2003 11:45:55 AM
Old 03-29-2003
thank you all for ur support.

I got it through. The problem I had posted.

expect the same kind of support from all of you.

Thanks & Regards.
Mehul Doshi
 

10 More Discussions You Might Find Interesting

1. UNIX for Dummies Questions & Answers

Environment Variable

Hello, I need some help to understand system and user environment files, such as .profile and others. I can edit my .profile file in my home directory. What I only touch in this file is the $PATH variable and when I am logged in under a telnet session, the PATH that I specify is used and... (8 Replies)
Discussion started by: jacobsa
8 Replies

2. UNIX for Dummies Questions & Answers

Environment Variable

$ . oraenv (when i type this at the prompt) ORACLE_SID = ? ( I get this) I understand that . oraenv is a startup script and it has the ENV variable ORACLE_SID. But pls let me know what more it explains and also how to change the env variable here. (2 Replies)
Discussion started by: thumsup9
2 Replies

3. Shell Programming and Scripting

Environment Variable

First of all I am using C shell. I have a variable destDirectory that holds a path. the path includes an environment variable($user) when I try to execute a command within the script, the $destDirectory gets replaced with the path, but the environment variable is not replaced. I end up... (2 Replies)
Discussion started by: karyn1617
2 Replies

4. Shell Programming and Scripting

Using Environment Variable

In our current environment we have each of our testing levels on individual servers (running Korn shell). So, there is a server for dev and test, and 2 servers for qa and prod. I have several scripts that utilize a code that is dependant on the server where it resides. While I was the only person... (3 Replies)
Discussion started by: kaiser
3 Replies

5. Shell Programming and Scripting

environment variable

Hi, I have to set bunch of variables and all other programs like make, perl will use them .. Here are my constraints and requirements ... The variables have to be set by executing a script that runs in c shell. I cannot source the script since people who use this script might be on... (8 Replies)
Discussion started by: sharanbr
8 Replies

6. Solaris

Environment variable

Hello, For the moment, my LC_ALL variable is set as "" by default. If I want to change this value, I do : export LC_ALL="en_fr" for example. That I want to know it's : how can I set by default this value ? I want to save it on my profile in order to get it when I open my session... :confused:... (2 Replies)
Discussion started by: MasterapocA
2 Replies

7. Shell Programming and Scripting

about environment variable

i am not clear at some places i saw that assigning a env var with colon ':' like export PATH=/usr/bin:/usr/ucb:/etc:/usr/sbin:.:/usr/platform/sun4u/sbin here you can find : and a . and again : could some one explain how it works... see all is starting from root directory, how : is used and... (6 Replies)
Discussion started by: Arunprasad
6 Replies

8. UNIX for Dummies Questions & Answers

Environment variable

Hi! Ok, so I'm no programmer and I have basically no experience in these stuff. However I need to work on a thing (I think you call it Framework) called Root. It's a tool used by physicists. In the manual they keep talking about Environment variable. Even thou I searched for what it is on the... (5 Replies)
Discussion started by: tirwit
5 Replies

9. Solaris

Environment Variable

Hi All, I am new to SUN Solaris.I have some questions regarding environment variable.:confused: Q1. Where the environment variables available in Solaris. Q2. What command used here. Q3. Can a user change this .Suppose i want to change the bash to ksh can it be possible here. Or i need to... (2 Replies)
Discussion started by: jdash.ps
2 Replies

10. Shell Programming and Scripting

Expand an environment variable in sed, when the variable contains a slash

I'm trying to make a sed substitution where the substitution pattern is an environment variable to be expanded, but the variable contains a "slash". sed -e 's/<HOME_DIRECTORY>/'$HOME'/'This gives me the following error: sed: -e expression #1, char 21: unknown option to `s'Obviously this is... (2 Replies)
Discussion started by: Ilja
2 Replies

LEARN ABOUT DEBIAN

cvc3

CVC3(1) 						      General Commands Manual							   CVC3(1)

NAME

       cvc3 - automatic SMT theorem prover

SYNOPSIS

       cvc3 [option]... [filename]

DESCRIPTION

       CVC3  is an automated validity checker for a many-sorted (typed) first-order logic with built-in theories, including some support for quan-
       tifiers, partial functions, and predicate subtypes. The current built-in theories are the theories of

       o   equality over free (aka uninterpreted) function and predicate symbols,

       o   real and integer linear arithmetic (with some support for non-linear arithmetic),

       o   bit vectors,

       o   arrays,

       o   tuples,

       o   records,

       o   user-defined inductive datatypes.

       CVC3 operates on files in the CVC Presentation Input Language or the SMTLIB input language. If no input file is given on the command  line,
       CVC3 reads standard input.

OPTIONS

       Only  a	few  of the most frequently used options are given below. For more details, see CVC3's built-in help (cvc3 -help) or the CVC3 web-
       site.

       -h[elp]
	      List all of the options for controlling CVC3. Boolean options are marked (b).  They are enabled by prefixing with + and disabled	by
	      prefixing with -.  In the help output, the current setting is given.  For example, the output lists

	      (b) -interactive	    Interactive mode

	      Indicating  that interactive mode is disabled. to enable interactive mode, the option +interactive is therefore used.  Other options
	      are marked (s) for string arguments, or (i) for integer arguments.

       -version
	      Print the version of CVC3 and exit.

       -lang  (presentation|smtlib|internal) Select the input language used. The default is presentation.

       +int[eractive]
	      Enable interactive mode. Commands are read from standard input and processed immediately.

       +stats Print run-time statistics.

       -timeout t
	      Automatically terminate CVC3 after t seconds.

SEE ALSO

       CVC3 website: http://www.cs.nyu.edu/acsys/cvc3/

       SMTLIB website: http://combination.cs.uiowa.edu/smtlib/

AUTHOR

       CVC3 was written by Clark Barrett, Cesare Tinelli, Alexander Fuchs, Yeting Ge, George Hagen,  Dejan  Jovanovic,	Sergey	Berezin,  Cristian
       Cadar,  Jake Donham, Vijay Ganesh, Deepak Goyal, Ying Hu, Sean McLaughlin, Mehul Trivedi, Michael Veksler, Daniel Wichs, Mark Zavislak, and
       Jim Zhuang.

       This manual page was written by Dan Sheridan <djs@adelard.com>, for Ubuntu (but may be used by others).

								 January 16, 2008							   CVC3(1)
All times are GMT -4. The time now is 02:16 AM.
Unix & Linux Forums Content Copyright 1993-2022. All Rights Reserved.
Privacy Policy