Avoid copying whole directory on Open in all cases#7909
Avoid copying whole directory on Open in all cases#7909facchinm wants to merge 1 commit intoarduino:masterfrom
Conversation
38151d6 to
54adc00
Compare
|
@facchinm are we still interested in moving ahead with these changes? |
|
Yes, since the behaviour as of today is wrong 🙂 |
Takes into account Github-like transformations (projectName becomes projectName-branchName) Also changes user prompt to specify that it will move a whole folder.
f95d193 to
3e3593d
Compare
|
✅ Build completed. Please test this code using one of the following: ⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-7909-BUILD-890-linux32.tar.xz ℹ️ The |
Alternative to #7904, tries to distinguish between