How do I enable the console in Supertux2 v0.5.1 on Debian?

[michael_a]

I installed Supertux2 from the Debian stretch/stable repositories. According to supertux2 --version, it's v0.5.1, but according to man supertux2, it's v0.3.2-SVN. Anyway. According to the documentation (http://supertux.lethargik.org/wiki/Console), I should be able to add (console #t) to the ~/.supertux2/config or ~/.local/share/supertux2/config file. Once I do that, however, pressing ^ (caret) inside the game doesn't bring up the console...

Plus, if I run supertux2 --console from the terminal, it says Error: Unknown option '--console'' even though the --console option is documented in the man page.

How do I enable the console?

[Bulkley]

The Stable repository has Supertux. Is that not good enough?

[michael_a]

The Stable repository has Supertux. Is that not good enough?

I'm not sure what you're asking; I installed Supertux from the stable repositories.

[Bulkley]

I'm not sure what you're asking; I installed Supertux from the stable repositories.

Your title says Supertux2. Ubuntu uses Supertux2. Did you get it from Ubuntu repositories? If so it may not work in Debian.

[michael_a]

The package is named supertux, but the executable is named supertux2. There is no supertux (without the 2) executable on my systemI installed it directly from the Debian repositories; I'm only using packages from there.

Code: Select all

sudo aptitude install supertux

This is /etc/apt/sources.list

Code: Select all

deb http://ftp.us.debian.org/debian/ stretch main non-free contrib
deb-src http://ftp.us.debian.org/debian/ stretch main non-free contrib

deb http://security.debian.org/debian-security stretch/updates main non-free contrib
deb-src http://security.debian.org/debian-security stretch/updates main non-free contrib

# stretch-updates, previously known as 'volatile'
deb http://ftp.us.debian.org/debian/ stretch-updates main non-free contrib
deb-src http://ftp.us.debian.org/debian/ stretch-updates main non-free contrib

# Stretch backports
deb http://ftp.us.debian.org/debian/ stretch-backports main non-free contrib

[debiman]

Plus, if I run supertux2 --console from the terminal, it says Error: Unknown option '--console'' even though the --console option is documented in the man page.

this can sometimes happen with low-maintenance packages - the man pages can be out of date.
can you

Code: Select all

supertux2 --help

or similar?

edit:
just had a look myself. no --console option.
maybe try '--developer' instead?

[michael_a]

That worked. Thank you!