search

Dynamic-Book / drgeo

GNU Dr. Geo, a Dynamic Knowledge Model on geometry
https://www.gnu.org/s/dr-geo
GNU General Public License v3.0
18 stars 1 forks source link

Auto initialize developer environement #27

Closed hilaire closed 6 months ago

hilaire commented 6 months ago

When installing DrGeo for development, (startIDE.sh), the DrGeoSystem beDevelopment should be automatically executed. So the developer can directly execute DrGeo new without error message.