On Sat, Aug 13, 2016 at 7:15 PM, Ingo Ruhnke wrote:
> Some of the resource names got cleaned up, there are is a program to
> generate a sed script to fix that in the git history:
I added that sed script to the repository now so that people don't
have to dig through history:
https://github.com/Pi
On Thu, Aug 11, 2016 at 11:34 AM, Geoffrey De Belie
wrote:
> Thanks a lot. I've managed to convert them all, but they need cleanup. I'm
> writing a script for that (see below).
>
> For example, the converted pingus file contains entrances/entrances,
> exits/exits which Pingus does not have. Ping
Thanks a lot. I've managed to convert them all, but they need cleanup. I'm
writing a script for that (see below).
For example, the converted pingus file contains entrances/entrances,
exits/exits which Pingus does not have. Pingus only knows about exits/ and
entrances/. Currently this is the scr
On Wed, Aug 10, 2016 at 6:55 PM, Geoffrey De Belie
wrote:
> I wonder if there exists a tool to convert the (old) XML level format to the
> new pingus format?
There are two scripts that you need to use in succession.
The first one updates the .xml from version 1 to version 2:
https://github.com/
Hi,
I wonder if there exists a tool to convert the (old) XML level format to the
new pingus format?
Kind regards,
Geoffrey De Belie
___
Pingus-Devel mailing list
Pingus-Devel@nongnu.org
https://lists.nongnu.org/mailman/listinfo/pingus-devel