<div dir="ltr">Hello,<div><br></div><div>I was giving a seven-days basic course about modern C++ for students at the university where I have introduced the build2 toolchain.</div><div>Because most of the students never have seen code or learned something about computers, I have not explained the usage of git.</div><div>The students<span class="gmail_default" style="font-family:arial,helvetica,sans-serif"> developed </span>their code through notebooks we were providing.</div><div><span class="gmail_default" style="font-family:arial,helvetica,sans-serif">So i</span>n the end, they wanted to copy their code and notes back to their laptops.</div><div>Because they could not use git, the intention was to directly copy the source directory.</div><div><span class="gmail_default" style="font-family:arial,helvetica,sans-serif">But </span><span class="gmail_default" style="font-family:arial,helvetica,sans-serif"></span>on their machines, they were not able to compile the source code anymore due to the hidden folder '.bdep' in the source directory and the folder 'bootstrap' inside the build directory.</div><div>Both <span style="font-family:arial,helvetica,sans-serif" class="gmail_default">were</span> referring to the old configuration created through 'bdep', which d<span style="font-family:arial,helvetica,sans-serif" class="gmail_default">id not exist</span> <span style="font-family:arial,helvetica,sans-serif" class="gmail_default">anymore</span>.</div><div>Only after manually removing those folders, we were able to create a new configuration<span class="gmail_default" style="font-family:arial,helvetica,sans-serif"> and compiling the code again</span>.</div><div>For students<span class="gmail_default" style="font-family:arial,helvetica,sans-serif"> starting with programming</span>, this may be a little too much overhead.</div><div><br></div><div>Hence, I would suggest a feature to create a bare copy of a build2 project (maybe together with its configurations) on a local machine for transmissions not using git.</div><div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Otherwise, is there a better workaround for this problem?</div><br></div><div>Thank you in advance.</div><div><br></div><div>Greetings</div><div>Markus</div></div>