Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Alexandru Dura
pintos-public
Commits
50201cb1
Commit
50201cb1
authored
Mar 26, 2021
by
Alexandru Dura
Browse files
Define a realpath function instead of using /usr/bin/realpath
parent
d3a9dba0
Changes
1
Hide whitespace changes
Inline
Side-by-side
runme.sh
View file @
50201cb1
#! /bin/bash
realpath
()
{
# /usr/bin/realpath is missing on some OSs, so we use this instead
# https://stackoverflow.com/questions/3572030/bash-script-absolute-path-with-os-x
[[
$1
=
/
*
]]
&&
echo
"
$1
"
||
echo
"
$PWD
/
${
1
#./
}
"
}
THIS_SCRIPT
=
`
realpath
"
$0
"
`
EDAF35_DIR
=
`
dirname
$THIS_SCRIPT
`
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment