software/theia: Fix shell bug

See merge request !951
3 jobs for 1.0
in 0 seconds, using 0 compute credits, and was queued for 0 seconds