This patch from Debian to catch ctrl-c at terminal (currently it is just silently ignored), looks interesting, wdyt? http://anonscm.debian.org/viewvc/pkg-fonts/packages/fontforge/trunk/debian/patches/027_catch_ctrl-c_signal.diff?view=markup Regards, Khaled