widelands

duplicate file

Bug #672251 reported by David Allwicher
8
This bug affects 1 person
Affects Status Importance Assigned to Milestone
widelands
Expired
Wishlist
Unassigned

Bug Description

./music/ingame_14.ogg and ./music/menu_00.ogg are the same file.

Revision history for this message
Hans Joachim Desserud (hjd) wrote :

Yes, the two files are identical, but I'm not sure if I see why this is a problem. Could you please elaborate a bit about what the problem is, and how you would like to see it fixed?

In order to avoid duplication while still being able to play the same tune both at main menu and in the game, menu_00.ogg could be replaced with a link/shortcut to the other file, but I'm not sure if this would work across all operating systems.

Changed in widelands:
status: New → Incomplete
David Allwicher (aber)
Changed in widelands:
importance: Undecided → Wishlist
Revision history for this message
David Allwicher (aber) wrote :

It would be possible to have 'ogg' files and 'url' files. Simple peek into the file and see if it is an ogg file or an url file. If it is an ogg file fine, else just load the alias.

Revision history for this message
Launchpad Janitor (janitor) wrote :

[Expired for widelands because there has been no activity for 60 days.]

Changed in widelands:
status: Incomplete → Expired
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.