#!/bin/sh
name="AGDA$RANDOM"
python3 kbtrans/agda_input_method.py svorak.keylayout '/Library/Keyboard\ Layouts/agda.keylayout' --name "$name" && echo "(generated $name)"
cp '/Library/Keyboard\ Layouts/agda.keylayout' '~/Library/Keyboard Layouts/agda.keylayout'