Skip to content
Snippets Groups Projects
Commit 00365e41 authored by Jan David Mol's avatar Jan David Mol
Browse files

Task #8437: Correct UID to actual user id

parent ef61583d
No related branches found
No related tags found
No related merge requests found
#!/usr/bin/env bash
# Configrue user
# Correct UID
export UID=`id -u`
# Configure user
if [ -z "${USER}" ]; then
export USER=${UID}
fi
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment