Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/sh
- #LAUNCHDIR="$(cd "$(dirname "$0")"; pwd)"
- LAUNCHDIR=$(dirname "$(readlink -f "$0")")
- mkdir "$LAUNCHDIR/profile" 2> /dev/null
- set_FF_ARGS(){
- FF_ARGS=()
- #ssdo_pos_arg_count=0
- #ssdo_arg_count=0
- i=1
- has_profile=0
- while [ $i -le $# ]; do
- case $i in
- -p=*|-profile=*)
- has_profile=1
- FF_ARGS+=( "-profile" "${i#*=}" ); ;;
- -p|-profile)
- has_profile=1
- FF_ARGS+=( "${@[$i]}" )
- let "i++" #https://askubuntu.com/questions/385528/how-to-increment-a-variable-in-bash
- FF_ARGS+=( "${@[$i]}" ); ;;
- *)
- FF_ARGS+=( "${@[$i]}" )
- ;;
- esac
- let "i++"
- done
- if [ $has_profile -eq 0 ]; then
- FF_ARGS+=( "-profile" "$LAUNCHDIR/profile" )
- fi
- }
- set_FF_ARGS
- LD_LIBRARY_PATH=$LAUNCHDIR/:$LAUNCHDIR/extralibs${LD_LIBRARY_PATH:+:$LD_LIBRARY_PATH} "$LAUNCHDIR/seamonkey" "${FF_ARGS[@]}"
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement