Come si fà a creare un file batch con linux?