Join GitHub today
Impossible to reinitialize workspace #28
This is a known issue with shFlags on Ubuntu's getopt. Will have to see whether the shFlags project can pick this up, or whether we could provide a patch for the shFlags repo ourselves.
A workaround for now is to run the following commands: