Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Limit the GAP command line history
Browse files Browse the repository at this point in the history
  • Loading branch information
vbraun committed Feb 14, 2014
1 parent bc33ff0 commit 3adeef4
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/sage/interfaces/gap.py
Original file line number Diff line number Diff line change
Expand Up @@ -1508,6 +1508,7 @@ def gap_reset_workspace(max_workspace_size=None, verbose=False):

# Create new workspace with filename WORKSPACE
g = Gap(use_workspace_cache=False, max_workspace_size=None)
g.eval('SetUserPreference("HistoryMaxLines", 30)')
for pkg in ['GAPDoc', 'ctbllib', 'sonata', 'guava', 'factint', \
'gapdoc', 'grape', 'design', \
'toric', 'laguna', 'braid']:
Expand Down

0 comments on commit 3adeef4

Please sign in to comment.