There’s an easier way to image your SD card! Check out the “Getting Started” guide for a cross-platform guide.
HELP WANTED! See https://github.com/ev3dev/ev3dev/issues/419.