I see that Amiberry 3.1.2 is available from github. I tested it, and it does work from the desktop environment. But replacing the 3.1.1 binary with 3.1.2 does not work, it will not run from the Amibian menu.
I notice that 3.1.2 binary is much smaller than the 3.1.1 that comes with Amibian 1.5.
Does it need to be compiled in a different way to work fron commandline?
I had to reinstall Amibian due to a faulty sdcard. I first tried to update by using the updater found in the system settings menu, but rebooting it failed to open the Amibian show-menu script.
I then reinstalled Amibian again, but now I used the method as described in my prevous post. That worked, and now Amiberry is version 3.2Beta.
Eventually figured this out.
There are some scripts that will take care of this.
I did this from the desktop environment, but I asume it can be done directly from the command line as well.
Note that this will erase the current amiberry v3.1.1 executable from /home/amibian/Amiga/Emulators/amiberry/ before replacing it with the updated one. So if something goes wrong during update, like a power loss or similar you migh end up without a working amiberry.
So you might want make a backup of the old executable first, or maybe backup copy the whole amiberry folder somewhere just in case.
Anyway, here are the steps I did to update. (step 3 might not be needed)
1. Make sure you are connected to the internet
2. Open a terminal window and type: (1234 is for the password request)
cd /home/amibian/.amibian_scripts/usr/local/bin su 1234 ./update ./fix_amiberry_git
3. Open the fileManager to check that the file /home/amibian/Amiga/Emulators/amiberry/amiberry is present (should have todays date) and right-click 'properties' to check that it have the correct permissions for an executable.
4. Reboot, and the updated amiberry now should start.
My amiberry now shows version 3.1.3 and runs well judging from my first tests.
Sysinfo now shows overall 5% higher numbers compared with v3.1.1
A big thanks to Dimitris (amiberry github) maintainer for putting me in the right direction.