Ticket #26454: patch-src-makemenu.diff
File patch-src-makemenu.diff, 874 bytes (added by danielb@…, 14 years ago) |
---|
-
./src/makemenu
old new 657 657 658 658 # Calculate number of \n characters in title, so menu title height 659 659 # will be set correctly 660 TITLE_LINES=$(echo "$MENU_TITLE" | sed 's/!//g;s/\\n/!/g;s/[^!]//g' | wc -c)660 TITLE_LINES=$(echo "$MENU_TITLE" | gsed 's/!//g;s/\\n/!/g;s/[^!]//g' | wc -c) 661 661 TITLE_HEIGHT=$((100 * $TITLE_LINES)) 662 662 663 663 # Draw the menu title and pad the bottom with TILE_HEIGHT pixels … … 787 787 # Calculate video length from length of audio 788 788 VID_LENGTH=$(mplayer -quiet -identify -frames 0 -vo null -ao null \ 789 789 "$AUDIO_STREAM" 2>&1 | grep '^ID_LENGTH' | awk -F '=' '{print $2}' | \ 790 sed -e "s/\.[0-9]*//g")790 gsed -e "s/\.[0-9]*//g") 791 791 VID_LENGTH=$(expr "$VID_LENGTH" \* $FPS \/ 100) 792 792 793 793 # Make sure VID_LENGTH is nonzero