Top || Section Contents || Permuted Index
SavaJe OS 1.1.0

prop(shell)


NAME

prop — display/set system-wide properties

SYNOPSIS

prop [name[=val1 [val2]...]]

DESCRIPTION

Get or set global system properties. name is the property to set or get. If a value is specified the property named name is set to the value. If no value is specified the value of the property named name is displayed. Values can contain multiple words separated by whitespace.

If name is specified as a prefix, prop will return all the properties beginning with that prefix.

SavaJe -specific properties

There are a few system properties that SavaJe OS uses, discussed below:

savaJe.userid

The property savaJe.userid identifies the current user. To change it, you need to login as a new user.

savaJe.shell , savaJe.shell.args

The property savaJe.shell allows users to customize their environment. The file /ramfs/ username /savaJe/user.props can contain name/value pairs that become system properties when a user logs in during a reboot. If the property savaJe.shell is defined, it is started in place of the default shell. Any arguments defined by savaJe.shell.args are passed to the program defined by savaje.shell .

NOTE:

If you redefine the default shell, you may not be able to return to the default shell without performing a hard reboot (unless you can remove or edit the file /ramfs/ username /savaJe/user.props before performing a soft reboot).

EXAMPLES

This command lists all the SavaJe OS -specific properties:

% prop savaJe.

The following example demonstrates getting a property, then setting it and examining it again.

% prop user.name
zero
% prop user.name=albc
% prop user.name
user.name=albc

You can also use the prop command to examine a subset of the system properties by providing the prefix:

% prop user.
user.dir=/ramfs/tmp
user.home=/ramfs/users/ben
user.timezone=America/New_York
user.name=ben
user.language=en
user.region=US

The following line in a /ramfs/ username /savaJe/user.props file will run the File Manager application in place of the default shell:

savaJe.shell=com.savaJe.tool.fileman.FileMan

SEE ALSO

app_env(doc)


June 5, 2002
Copyright © 2002 , SavaJe Technologies, Inc. All rights reserved.
Corrections, suggestions to: docs@savaje.com