Messed up my boot environment or root profile Post: 302358151

10 More Discussions You Might Find Interesting

1. UNIX for Dummies Questions & Answers

how do u remove a messed up freebsd boot installation?

i messed up while installing freebsd into a dual os wannabe system. Now, how do i del it( so i wouldn't get prompted to choose freebsd during boot?)so that i could try installing a different flavour of linux? cheers:eek:

2. UNIX for Dummies Questions & Answers

Run non-root script as root with non-root environment

All, I want to run a non-root script as the root user with non-root environment variables with crontab. The non-root user would have environment variables for database access such as Oracle or Sybase. The root user does not have the Oracle or Sybase enviroment variables. I thought you could do...

3. Solaris

Profile and environment variable

Hi, I'm using solaris 8 and I need to know where I can add the following variable to have it applied to all my user Ids. I tried to add this to /etc/profile but not working when i check with "env" command : export PW_MATRIX=/usr/local/ccms/security/dat/.PASSWORD_MATRIX export...

4. Solaris

.profile for root ?

Hi friends, On a Solaris system is the .profile executed for the user root also as it is for any normal user ? if i have to change the PATH variable can i add it to the .profile? and by default ther .profile is not found in the / directory. i can see it in /etc as /etc/profile. Should i...

5. Shell Programming and Scripting

How is .profile and environment variable linked..

:( 1.) How is .profile and environment variable linked.? 2.) What happens when we execute a script.?

6. Solaris

Where's the .profile environment config for root under Bourne shell?

I don't know where the environment config file for root user is in the Bourne shell on Solaris 10? Can you help me, or am I helpless????

7. AIX

Environment variable values encrption in profile

Hello This is the format of present profile which we use for a AIX user export DMRUNuser ; DMRUNuser="owbrunuser_10" export DMRUNpasswd ; DMRUNpasswd="ods$12345" DMRUNuser&DMRUNpasswd were the environmental users which store the user id and password of a...

8. Shell Programming and Scripting

User profile, environment

Hello , i am on sles 11, and i can't figure out how can i locate my profile file, the one that is use for setting the environment when i log in. oracle@r200:~> cd oracle@r200:~> pwd /opt/oracle oracle@r200:~> echo $SHELL /bin/bash oracle@r200:~> oracle@r200:~> cat .profile cat: .profile:...

9. AIX

Profile environment variables lost after mksysb restore

Hello. I restore an mksysb image (AIX 5.3 TL 11) from one model to another model of Power (power 5 to power 7). Everything seems good, but I lost environment variables of at least one of a user profile. The result of the "env" command show me great differences between two servers, first of them...

10. UNIX for Advanced & Expert Users

Issue Regarding environment/.profile file

Hi All, I have my own .profile file and environment file. To execute some commands I always need to load some module using module command and change my environment files to project environment file (. /some/project/some/path/init.environ).Without changing my environment file to project file,...

LEARN ABOUT DEBIAN

zombiescope

zombiescope(1)															    zombiescope(1)

NAME

       zombiescope - simplifies SPARK dead path conjectures

SYNOPSIS

       zombiescope [OPTIONS] [UNIT]

DESCRIPTION

       ZombieScope  for  SPARK,  zombiescope,  analyses  dead path conjectures generated by the Examiner for SPARK and attempts to determine their
       liveness automatically. For each dpc file read, ZombieScope will produce a sdp (simplified dead paths) file and	an  optional  zlg  (zombi-
       escope log) file.

       This manual page only summarises the zombiescope command-line flags, please refer to the full Simplifier manual for further information.

OPTIONS

       These options do not quite follow the usual GNU command line syntax as options start with a single dash instead of the usual two.

       -help  Displays command line help.

       -version
	      Displays version information.

       -nolog Do not generate a ZombieScope log file.

       -log=file_spec
	      Specify filename for the ZombieScope file.

       -nowrap
	      Do not line wrap output files.

       -plain Adopt a plain output style (e.g. no dates or version numbers).

       -norenum
	      Do not renumber hypotheses and conclusions in sdp files.

       -hyp_limit=LIMIT
	      Specify the maximum number of hypotheses that will be analysed.

SEE ALSO

       spark(1), sparksimp(1), spadesimp(1), victor(1), pogs(1)

       sparkformat(1), sparkmake(1)

AUTHOR

       This  manual  page  was	written by Florian Schanda <florian.schanda@altran-praxis.com> for the Debian GNU/Linux system (but may be used by
       others). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License,  Ver-
       sion 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts and no Back-Cover
       Texts.

								   22 March 2011						    zombiescope(1)

10 More Discussions You Might Find Interesting

1. UNIX for Dummies Questions & Answers

how do u remove a messed up freebsd boot installation?

Discussion started by: coffeecoolers

2. UNIX for Dummies Questions & Answers

Run non-root script as root with non-root environment

Discussion started by: bubba112557

3. Solaris

Profile and environment variable

Discussion started by: unclefab

4. Solaris

.profile for root ?

Discussion started by: sveera