Menu

#8 shell.reset()

open
5
2001-08-17
2001-08-17
No

Provide a way to reset/clean up the shell environment,
deleting and then re-importing modules and such.
Possible names: reset(), refresh(), reload(), clean().

Discussion

  • Patrick K. O'Brien

    • labels: --> Shell Improvements
     
  • Patrick K. O'Brien

    • assigned_to: nobody --> pobrien
     

Log in to post a comment.