Revision e118207d2fa6717bae37dc8090f561c64af296d5 authored by Keno Fischer on 31 August 2023, 07:08:32 UTC, committed by Keno Fischer on 31 August 2023, 07:10:20 UTC
Alternative to #51108.
1 parent a355403
install.sh
#!/bin/sh
# This file is a part of Julia. License is MIT: https://julialang.org/license
# Usage: very similar to `install`
# install.sh 755 src1 src2 ... dest
PERMS=$1
shift
ARGS=""
while [ $# -gt 1 ]; do
ARGS="$ARGS $1"
shift
done
DEST=$1
for SRC in $ARGS; do
cp -a $SRC $DEST
if [ -d "$DEST" ]; then
DESTFILE="$DEST/$(basename "$SRC")"
else
DESTFILE="$DEST"
fi
# Do the chmod dance.
# Symlinks to system libraries are ignored because Julia shouldn't modify
# permission of those libraries. If we tried, some platforms would cause
# an error.
if [ ! -L "$DESTFILE" ]; then
chmod $PERMS "$DESTFILE"
fi
done
exit 0
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...