Property replacement for Linux shell launcher