2019-04-10 07:03:21 -07:00
|
|
|
#!/bin/sh
|
2018-08-12 06:26:29 -07:00
|
|
|
|
|
|
|
ext="${ext##*.}"
|
2019-04-10 13:40:55 -07:00
|
|
|
# skip trailing dot if any
|
|
|
|
case "$1" in
|
|
|
|
*.) original_loader=${1%?};;
|
|
|
|
*) original_loader=$1;;
|
|
|
|
esac
|
|
|
|
original_name="$(basename "$original_loader")"
|
|
|
|
loader_dir="$(dirname "$original_loader")"
|
|
|
|
loader="$(basename "$original_loader")"
|
|
|
|
loader_name="$(echo "$loader" | cut -f 1 -d '.')"
|
2018-08-12 06:26:29 -07:00
|
|
|
|
2019-04-10 13:40:55 -07:00
|
|
|
original_ext="$(echo "$loader" | tail -c 4)"
|
|
|
|
if test "$original_ext" = "$ext" ; then
|
2019-04-26 05:57:47 -07:00
|
|
|
mv "$DESTDIR""$original_loader" "$DESTDIR""$loader_dir"/"$original_name"
|
2018-08-12 06:26:29 -07:00
|
|
|
fi
|
|
|
|
|
2019-03-01 04:40:01 -08:00
|
|
|
shift
|
|
|
|
for x in "$@"; do
|
2019-04-26 05:57:47 -07:00
|
|
|
ln -sf "$original_name" "$DESTDIR""$loader_dir"/"$loader_name"."$x"
|
2018-11-14 08:23:49 -08:00
|
|
|
done
|