1 2 3 4 5 6 7 8
if [ -L "/usr/share/htmldoc/fonts" ]; then d=$(realpath "/usr/share/htmldoc/fonts") rm -f -- "/usr/share/htmldoc/fonts" if [ "$d" != "/usr/share/fonts/htmldoc" ]; then echo " mv -f -- $d /usr/share/fonts/htmldoc" mv -f -- "$d" "/usr/share/fonts/htmldoc" fi fi