2018-08-12 06:26:29 -07:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
original_loader=$1
|
|
|
|
filename="$(basename $original_loader)"
|
|
|
|
ext="${ext##*.}"
|
2018-11-14 08:23:49 -08:00
|
|
|
original_name="$(basename $original_loader .$ext)"
|
2018-08-12 06:26:29 -07:00
|
|
|
loader_dir="$(dirname $original_loader)"
|
|
|
|
loader="$(basename $original_loader)"
|
|
|
|
loader_name="$(echo $original_name | cut -f 1 -d '.')"
|
|
|
|
|
|
|
|
if [ ${original_loader: -3} == "$ext" ]
|
|
|
|
then
|
|
|
|
mv "$DESTDIR"/"$original_loader" "$DESTDIR"/"$loader_dir"/"$original_name"
|
|
|
|
fi
|
|
|
|
|
|
|
|
for x in "${@:2}"; do
|
2018-11-14 08:23:49 -08:00
|
|
|
ln -sf "$original_name" "$DESTDIR"/"$loader_dir"/"$loader_name"."$x"
|
|
|
|
done
|