Ticket #26454: patch-src-make_titlesets.diff

File patch-src-make_titlesets.diff, 3.0 KB (added by danielb@…, 14 years ago)
  • ./src/make_titlesets

    old new  
    5656    # else test if the file name path passed in exists
    5757    while ! (( script_exists )); do
    5858        read script_name
    59         script_name=$(readlink -f "$script_name")
     59        script_name=$(greadlink -f "$script_name")
    6060        if  [[ -e "$script_name" ]] ; then
    6161            script_exists=1
    6262        else
     
    9797{
    9898    file="$1"
    9999    # remove shebang and PATH
    100     sed -i '/\#\!\/usr\/bin\/env bash/d;/PATH/d' "$file"
     100    gsed -i '/\#\!\/usr\/bin\/env bash/d;/PATH/d' "$file"
    101101    # remove todisc command
    102     sed -i '/^todisc \\$/d' "$file"
     102    gsed -i '/^todisc \\$/d' "$file"
    103103    # remove opening blank lines
    104     sed -i '/./,/^$/!d' "$file"
     104    gsed -i '/./,/^$/!d' "$file"
    105105}
    106106
    107107##############################################################################
     
    131131    new_name=$(TMPDIR=`pwd` mktemp -t todisc_commands.bash.XXXXXX)
    132132    echo "The file we will use to save options: \"${final_script}\",
    133133     exists in the current directory. It will be renamed:
    134     to $new_name if you continue." |sed 's/^[ \t]*//;s/[ \t]*$//'
     134    to $new_name if you continue." |gsed 's/^[ \t]*//;s/[ \t]*$//'
    135135    echo "press <ENTER> to continue..."
    136136    read cont
    137137fi
     
    172172    fi
    173173done
    174174# add backslash to last line; add -vmgm and -titles; add menu titles
    175 sed -i "\$s/$/ \\\/" "$todisc_tmp"
    176 sed -i '$ a -vmgm \\' "$todisc_tmp"
    177 sed -i '$ a -titles \\'  "$todisc_tmp"
     175gsed -i "\$s/$/ \\\/" "$todisc_tmp"
     176gsed -i '$ a -vmgm \\' "$todisc_tmp"
     177gsed -i '$ a -titles \\'  "$todisc_tmp"
    178178printf '"%s" \\\n' "${MENU_TITLES[@]}" >> "$todisc_tmp"
    179179mv "$todisc_tmp" "$final_tmp_script"
    180180
     
    197197run_gui
    198198clean_script "$todisc_tmp"
    199199# add backslash to last line
    200 sed -i "\$s/$/ \\\/" "$todisc_tmp"
     200gsed -i "\$s/$/ \\\/" "$todisc_tmp"
    201201# add -end-vmgm as last line
    202 sed -i '$ a -end-vmgm \\' "$todisc_tmp"
     202gsed -i '$ a -end-vmgm \\' "$todisc_tmp"
    203203cat "$todisc_tmp" >> "$final_tmp_script"
    204204rm -f "$todisc_tmp"
    205205done=0
     
    232232        run_gui
    233233        clean_script "$todisc_tmp"
    234234        # add backslash to last line of temp file
    235         sed -i "\$s/$/ \\\/" "$todisc_tmp"
     235        gsed -i "\$s/$/ \\\/" "$todisc_tmp"
    236236        # add "-titleset \" as 1st line
    237         sed -i '1i -titleset \\' "$todisc_tmp"
     237        gsed -i '1i -titleset \\' "$todisc_tmp"
    238238        # add "-end-titleset" as last line
    239         sed -i '$a -end-titleset \\' "$todisc_tmp"
     239        gsed -i '$a -end-titleset \\' "$todisc_tmp"
    240240        # concatenate
    241241        cat "$todisc_tmp" >> "$final_tmp_script"
    242242        rm -f "$todisc_tmp"
     
    248248###############################################################################
    249249
    250250# remove backslash on last line
    251 sed -i "\$s/\\\//" "$final_tmp_script"
     251gsed -i "\$s/\\\//" "$final_tmp_script"
    252252echo $SEP
    253253mv "$final_tmp_script" "$final_script"
    254254echo final script is "$final_script"