gildas

#! /usr/bin/env bash

# Insert a USB key.
# if needed initialize it with MS/DOS FAT and MBR

# Download the Mint ISO image
# Convert the ISO -> IMG
hdiutil convert -format UDRW -o  linuxmint-17.3-cinnamon-64bit  linuxmint-17.3-cinnamon-64bit.iso

# Run a diskutil list to know the device for the USB key, e.g.: /dev/disk3