I've worked around this by printing the command line while minecraft is open with something like: cat /proc/$(pgrep java)/cmdline | sed -e "s/\x00/ /g" And th

I've worked around this by printing the command line while minecraft is open with something like: cat /proc/$(pgrep java)/cmdline | sed -e "s/\x00/ /g" And then pasting that sucker in a script wrapped around a .desktop file and from then on only launching that. Opens just as fast as it did back in 2010 and I don't need to open the launcher unless I need to update the game or something like that. I only play on single-player, haven't tested on multiplayer. The tokens might expire after some time and thus require you to "reseed" the command line from time to time.