Jürg Billeter authored Oct 04, 2018 and Jonathan Maw committed Oct 05, 2018

A remote execution sandbox is not suitable for these commands.

element.py: Prepare local sandbox for bst checkout and bst shell

See merge request !860