You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
and it will work. If you do that with vcsh, it just changes the name of the directory used in .config/vcsh/repo.d and just drops the files in to $HOME.
I know about VCSH_BASE, but the usage pattern seems backwards to me. I would rather have an env variable to set for changing the repo.d directory name and allow specifying where to check something out to on the command line.
and it would place the files in to $PWD/.some_other_dir, just like git normally would. This would make vcsh much easier to use for things outside of just managing $HOME files.
The text was updated successfully, but these errors were encountered:
Is there a better way to clone a repository to a different name than it is hosted under? For example, normally with git you can do
git clone [email protected]:repo some_other_name
and it will work. If you do that with vcsh, it just changes the name of the directory used in .config/vcsh/repo.d and just drops the files in to $HOME.
I know about VCSH_BASE, but the usage pattern seems backwards to me. I would rather have an env variable to set for changing the repo.d directory name and allow specifying where to check something out to on the command line.
This would allow you to do things like
vcsh clone [email protected]:repo .some_other_dir
and it would place the files in to $PWD/.some_other_dir, just like git normally would. This would make vcsh much easier to use for things outside of just managing $HOME files.
The text was updated successfully, but these errors were encountered: