bash: add .sh extensions

For Github.