Ticket #112 (closed defect: fixed)

Opened 3 years ago

Last modified 3 years ago

get rid of "gap_reset_workspace"

Reported by: was Owned by: was
Priority: major Milestone:
Component: interfaces Keywords:
Cc: Author(s):
Report Upstream: Reviewer(s):
Merged in: Work issues:

Description

The whole gap_reset_workspace() idea is bad. It just doesn't make any sense at all! Here's what should happen.

1. When a new gap component is installed a file in <SAGE_ROOT> is touched.

2. When SAGE starts, if the user's local gap_workspace is older than the file in 1, then it is recreated.

That's it!

Change History

Changed 3 years ago by was

  • status changed from new to closed
  • resolution set to fixed

Done. The fix is to store the workspace in <SAGE_ROOT>/local/lib/ and only allow the admin user to change it. That's fine since it should only be changed when new packages are installed anyways.

Note: See TracTickets for help on using tickets.