GNU/Linux shell related internals