The font used is "terminal", a most excellent font by Bitstream, which is available in BDF format in regular and bold, in the font-bitstream-75dpi package here. Unsurprisingly, it comes with most distributions of X, which comes with most GNU/Linux distributions. Many resources for converting BDF to other formats are listed at fontforge.sf.net, the home of FontForge, which can also convert BDF...
この作品は自由ソフトウェアです。あなたは、フリーソフトウェア財団の発行する GNU 一般公衆利用許諾書 (GNU General Public License) (バージョン2、またはそれ以降のライセンス) の規約に基づき、このライブラリの再配布や改変ができます。この作品は、有用であることを期待して配布されていますが、商用あるいは特定の目的に適するかどうかも含めて、暗黙的にも、一切保証されません。詳しくは、バージョン2およびバージョン3のGNU 一般公衆利用許諾書をご覧ください。http://www.gnu.org/licenses/gpl.htmlGPLGNU General Public Licensetruetrue