What does "./sage -cleaner" do?
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.
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.
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
Asked: 14 years ago
Seen: 967 times
Last updated: Aug 19 '10