Revision history [back]

Yes, something close to that command will work. In particular, you need to provide the package name taking care of the upper or lower case. To find the exact package name, you can look at

1. SAGE_ROOT/spkg/standard directory for sage version up to 5.13.
2. SAGE_ROOT/upstream directory for sage version from 6.0 onwards.

If you have installed sage earlier, then you don't need to do anything else. The commands you gave (with proper case) are more than enough. They will simply recompile those specific packages. Other packages do not need to be recompiled.