ChangeDirectoryCurrent from the IO package may be used to navigate between directories without leaving GAP. This is very helpful to ensure that users of all three major OS would have the same experience.
The lesson should be updated to use this from the IO package (requires compilation, but if the setup instructions are followed, it should work). There will be no need in the IO package after https://github.com/gap-system/gap/issues/364 will be implemented.
ChangeDirectoryCurrent
from the IO package may be used to navigate between directories without leaving GAP. This is very helpful to ensure that users of all three major OS would have the same experience.The lesson should be updated to use this from the IO package (requires compilation, but if the setup instructions are followed, it should work). There will be no need in the IO package after https://github.com/gap-system/gap/issues/364 will be implemented.