deep-foundation / deep-foundation/scripts
Do not delete root path if new one is the same as old one
Open
- Dominant language
- Shell
- Stars
- 4
- Forks
- 1
- PR merge metrics
- No merged PRs in 30d
Description
https://github.com/deep-foundation/scripts/blob/1ceee90a4c947a25264799fec9da8e23e43493ab/docker/move-docker-root.sh#L17
Also it may be good idea to make names NEW and OLD instead of PREVIOUS.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.