Ask Your Question

What does "./sage -cleaner" do?

asked 2010-08-19 16:04:54 +0100

ccanonc gravatar image

updated 2011-04-28 15:47:05 +0100

Kelvin Li gravatar image

What does "./sage -cleaner" do?

Does it just clean the build files in the currently selected branch? The usage output from "./sage -advanced" doesn't specify.

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2010-08-19 16:17:34 +0100

From the file SAGE_ROOT/local/bin/sage-cleaner (this is the script that gets run when you execute sage -cleaner):

# This is the sage monitor *daemon*, which cleans up after SAGE. 
# Some things that it cleans up:
#   * $HOME/.sage/temp/pid directories
#   * Processes that SAGE spawns.  If a copy of SAGE isn't
#     running, then any process it spawned should have its 
#     process group killed
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2010-08-19 16:04:54 +0100

Seen: 828 times

Last updated: Aug 19 '10