An extensible Linux shell