Besides exploding manual into separate pages, I also updated denv init to better handle the situation where a user provides a workspace directory on the command line. If the user does this, then we make sure the workspace exists (prompting user to create if they desire) and enter it before continuing. We do not try to return to the previous directory since using denv outside of the configured workspace is not well supported.
Besides exploding manual into separate pages, I also updated
denv initto better handle the situation where a user provides a workspace directory on the command line. If the user does this, then we make sure the workspace exists (prompting user to create if they desire) and enter it before continuing. We do not try to return to the previous directory since usingdenvoutside of the configured workspace is not well supported.