BIBO (D) [1 BUG, 2 TODOs]

[lingu]

We run sage_restart with a cron job with root on wp289-6. The cron job manifests as /etc/cron.d/cronsage owned by root with permission 644.

Code:

40 07 * * * sage source /home/sage/.bashrc && /home/sage/sage/bin/sage_restart

This is a system cron in user sage, and it seems the shell does not source .bashrc when running the job. Therefore, we need source .bashrc explicitly.