diff options
| author | Michael Forney <mforney@mforney.org> | 2019-03-16 21:59:23 -0700 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2019-03-16 21:59:50 -0700 |
| commit | 5ff45277bedd9206ca0175e73d94965e41f3ce69 (patch) | |
| tree | c7fa94737df7516147216afc83064c8ad1324c7f /docker/etc/profile | |
| parent | b25fdc22bc324ba4d6c27b7a6711686dfac2aa8e (diff) | |
Add experimental Dockerfile
Diffstat (limited to 'docker/etc/profile')
| -rw-r--r-- | docker/etc/profile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/docker/etc/profile b/docker/etc/profile new file mode 100644 index 00000000..c9afc479 --- /dev/null +++ b/docker/etc/profile @@ -0,0 +1,14 @@ +umask 022 + +export ENV=/etc/kshrc +export PATH=/bin +export MANPATH=/share/man +export PERP_BASE=/etc/perp +export PAGER=less +export EDITOR=vis +export PS1='\$ ' +export XDG_RUNTIME_DIR=/tmp + +if [ -n "$SSH_CONNECTION" ] ; then + PS1=$(hostname)$PS1 +fi |