最近wgetなるコマンドを知りました。 # wget ftp://vsftpd.beasts.org/users/cevans/vsftpd-2.0.3.tar.gz --12:59:44-- ftp://vsftpd.beasts.org/users/cevans/vsftpd-2.0.3.tar.gz => `vsftpd-2.0.3.tar.gz' vsftpd.beasts.org をDNSに問いあわせています..…

dviファイルの作成。 platex texファイル名 dviからpsファイルへ変換。 dvipsk -D600 -t a4size -P dl dviファイル名 psファイルdviファイルをpdfファイルへ変換 dvipdfmx psファイル名dviファイル名