mirror of
ssh://git.janware.com/srv/git/janware/proj/jw-pkg
synced 2026-01-25 07:00:39 +01:00
pkg.sh: Use readlink -fm instead of realpath -m
Seems to be more universally available Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
parent
ad2c1da54a
commit
a69a3938f2
1 changed files with 3 additions and 3 deletions
|
|
@ -600,7 +600,7 @@ upload_pkg()
|
||||||
|
|
||||||
install_exe_wrapper()
|
install_exe_wrapper()
|
||||||
{
|
{
|
||||||
local from="`realpath $1`"
|
local from="`readlink -fm $1`"
|
||||||
local to="$2"
|
local to="$2"
|
||||||
local ext=${from##*.}
|
local ext=${from##*.}
|
||||||
local tmp=$to.tmp
|
local tmp=$to.tmp
|
||||||
|
|
@ -642,8 +642,8 @@ cmd_upload()
|
||||||
check_create_parent()
|
check_create_parent()
|
||||||
{
|
{
|
||||||
[ "$1" != "true" ] && return 0
|
[ "$1" != "true" ] && return 0
|
||||||
local dir=`dirname -z "$2" | xargs -0 realpath -m`
|
local dir=`dirname -z "$2" | xargs -0 readlink -fm`
|
||||||
local path=`realpath -m "$2"`
|
local path=`readlink -fm "$2"`
|
||||||
if [ "$dir" -a "$dir" != "$path" ]; then
|
if [ "$dir" -a "$dir" != "$path" ]; then
|
||||||
mkdir -p "$dir" || {
|
mkdir -p "$dir" || {
|
||||||
echo "failed to create parent dir of \"$1\""
|
echo "failed to create parent dir of \"$1\""
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue