Daniel Mendler <[email protected]> writes: > Also in my opinion it would be reasonable to simply not solve the > "offline problem", if at the same time the "make clean" action is > adjusted to not delete cached dependencies.
Morgan's patch only removes packages on make cleanall. > ... If you > also want to protect against "git clean" you could install the > dependencies outside the repository, e.g., in $XDG_CACHE_HOME/org-dev-deps/. That's a bad idea that can backfire if users need self-contained installation. I would personally be frustrated if git clean -xfd did not put the repository into truly clean state. -- Ihor Radchenko // yantar92, Org mode maintainer, Learn more about Org mode at <https://orgmode.org/>. Support Org development at <https://liberapay.com/org-mode>, or support my work at <https://liberapay.com/yantar92>
