Some shell tools