When I launch Eclipse it starts with one of the workspaces I created and selected “don’t ask again” (standardly, Eclipse asks about which workspace to start with during the startup).
So it must store somewhere which workspace to use. Where does it store this piece of information?
In
$HOME/.eclipse/org.eclipse.platform_3.7.0_155965261/configuration/.settingsthere is a file
org.eclipse.ui.ide.prefswhere it is stored.