Slightly better bash tricks