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 56 56 # else test if the file name path passed in exists 57 57 while ! (( script_exists )); do 58 58 read script_name 59 script_name=$( readlink -f "$script_name")59 script_name=$(greadlink -f "$script_name") 60 60 if [[ -e "$script_name" ]] ; then 61 61 script_exists=1 62 62 else … … 97 97 { 98 98 file="$1" 99 99 # 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" 101 101 # remove todisc command 102 sed -i '/^todisc \\$/d' "$file"102 gsed -i '/^todisc \\$/d' "$file" 103 103 # remove opening blank lines 104 sed -i '/./,/^$/!d' "$file"104 gsed -i '/./,/^$/!d' "$file" 105 105 } 106 106 107 107 ############################################################################## … … 131 131 new_name=$(TMPDIR=`pwd` mktemp -t todisc_commands.bash.XXXXXX) 132 132 echo "The file we will use to save options: \"${final_script}\", 133 133 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]*$//' 135 135 echo "press <ENTER> to continue..." 136 136 read cont 137 137 fi … … 172 172 fi 173 173 done 174 174 # 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"175 gsed -i "\$s/$/ \\\/" "$todisc_tmp" 176 gsed -i '$ a -vmgm \\' "$todisc_tmp" 177 gsed -i '$ a -titles \\' "$todisc_tmp" 178 178 printf '"%s" \\\n' "${MENU_TITLES[@]}" >> "$todisc_tmp" 179 179 mv "$todisc_tmp" "$final_tmp_script" 180 180 … … 197 197 run_gui 198 198 clean_script "$todisc_tmp" 199 199 # add backslash to last line 200 sed -i "\$s/$/ \\\/" "$todisc_tmp"200 gsed -i "\$s/$/ \\\/" "$todisc_tmp" 201 201 # add -end-vmgm as last line 202 sed -i '$ a -end-vmgm \\' "$todisc_tmp"202 gsed -i '$ a -end-vmgm \\' "$todisc_tmp" 203 203 cat "$todisc_tmp" >> "$final_tmp_script" 204 204 rm -f "$todisc_tmp" 205 205 done=0 … … 232 232 run_gui 233 233 clean_script "$todisc_tmp" 234 234 # add backslash to last line of temp file 235 sed -i "\$s/$/ \\\/" "$todisc_tmp"235 gsed -i "\$s/$/ \\\/" "$todisc_tmp" 236 236 # add "-titleset \" as 1st line 237 sed -i '1i -titleset \\' "$todisc_tmp"237 gsed -i '1i -titleset \\' "$todisc_tmp" 238 238 # add "-end-titleset" as last line 239 sed -i '$a -end-titleset \\' "$todisc_tmp"239 gsed -i '$a -end-titleset \\' "$todisc_tmp" 240 240 # concatenate 241 241 cat "$todisc_tmp" >> "$final_tmp_script" 242 242 rm -f "$todisc_tmp" … … 248 248 ############################################################################### 249 249 250 250 # remove backslash on last line 251 sed -i "\$s/\\\//" "$final_tmp_script"251 gsed -i "\$s/\\\//" "$final_tmp_script" 252 252 echo $SEP 253 253 mv "$final_tmp_script" "$final_script" 254 254 echo final script is "$final_script"