Как я понимаю, кажется, Вы носки потребности 5 серверов.
Сервер носков может легко быть сделан с сервером SSH с одной командой:
ssh -D 8080 user@gentoo.host
можно использовать socksify для Linux или sockscap для окон для применения указанных настроек прокси к любому приложению на компьютерах.
Лучший способ состоит в том, чтобы разыменовать дважды, но я предполагаю то, что Вы упомянули, что он в Вашем вопросе подразумевает, что не хорошо работает для Вашего варианта использования (почему?).
Почти лучшая опция Вы имеете в стандарте bash
оболочка должна использовать readlink -f
(отметьте, это повредится, если имя файла будет содержать запаздывание новых строк, который крайне маловероятен, но возможен).
#!/bin/bash
src="$1"
dest="$2"
fileLinkedTo=$(readlink -f "$src")
if [[ -d "$dest" ]]; then
ln -s "$fileLinkedTo" "${dest%/}/${src##*/}"
else
ln -s "$fileLinkedTo" "$dest"
fi
И затем выполненный это как:
./script /usr/local/boost_1_52_0/stage/lib/libboost_timer.so /usr/local/lib