プロキシ設定スクリプトを設定して、職場にいるときだけプロキシを有効にする。Windows 10 バージョン。 職場では 123.456.* から始まる IP が割り当てられるものとし、職場のドメインは hogehoge.com、プロキシサーバは proxy.hogehoge.com:8080 とする。 (…

Ghostscript （Windows 版）を使って、重たい PDF ファイルの画像を圧縮して、いくらかスリムにする方法。以下のコマンドを打つべし。 gswin32c.exe -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -dAutoFilterColorImages=false -dColorImageFilter=/FlateEncode…

Ctrl + C … コピー Ctrl + X … 切り取り Ctrl + V … 貼り付け Ctrl + Alt + V … 元と同じ位置に貼付け S … オブジェクトの選択 T … テキストを作成 R … 矩形 B … ベジェ曲線／直線 F2 … パスの編集 Ctrl + G … グループ化 Shift + Ctrl + G … グループ化解除…

Inkscape 0.91 がリリースされました ヾ(:3ﾉｼヾ)ﾉｼ Inkscape Version 0.91 is Released! | Inkscape ところが。以前のバージョンの Inkscape で作成した SVG ファイルを Inkscape 0.91 で開き、EPS や PDF に保存すると、埋め込んであるビットマップ画像がJP…

HTML の入力は面倒だし、マークアップされた文書自体はたいへん読みにくい。そこで、あとで HTML に変換することを想定して、プレーンテキストとしても読めるようにマークアップしようってことで生まれた記法が Markdown である（と、とりあえず理解している…

Win32 版 Aspell バイナリ が古いので、最新版のソースコードをコンパイルしてみた。MinGW（32bit）と MSYS の最新版がインストールしてあり、それぞれパスが通っている状況で行っている。各バイナリパッケージは MinGW-builds の /files/host-windows/relea…

Python で比較。10*1000*1000 回ループさせたらこのぐらい。 cast: 2.792 s floor: 2.524 s ceil: 2.539 s round: 10.761 s pass: 0.472 sキャストや切り捨てに比べて round は 5 倍ぐらい時間がかかっている。実行したコードは以下。 import datetime impor…

プレゼンのスライド作りに Inkscape を使いたいので、前回のスクリプトを拡張した。以下のスクリプトは、Inkscape で作成した SVG の各レイヤを各ページにもつ PDF を出力する。'background' という名前のレイヤはつねに表示される。id に 'pages' を含むテ…

Inkscape で作った SVG の各レイヤを個別の PDF ファイルに書き出し、最後にそれらを 1 つの PDF ファイルにまとめる Python スクリプト。Inkscape と gswin32c に PATH が通っていると仮定。Windows 用なので、他の環境で動かすには修正が要る。 import os,…

Unicode 文字を入力する機能を用意しているプログラムもあるが（Microsoft Word や Inkscape など）、そのような機能が無い場合、Windows の機能が使える。レジストリをいじる。regedit で HKEY_CURRENT_USER\Control Panel\Input Method に EnableHexNumpad…

Cairo 1.10 以降でビットマップ画像を埋め込んだ PDF を作ると、その画像にデフォルトで /Interpolate true フラグが設定される。画像の解像度が低いとピクセルの境目がボケているのが見えてしまう。これを回避するには、CAIRO_FILTER_NEAREST フィルタを設…

たとえば in.pdf のページサイズを強制的に A4 にして out.pdf に保存するには、以下のようにする。 gswin32c -q -dNOPAUSE -dBATCH -o out.pdf -sDEVICE=pdfwrite -sPAPERSIZE=a4 -dFIXEDMEDIA -c "<</PageOffset [10 20]>> setpagedevice" -f in.pdf[10 20] のところで x 方向、…

指定されたディレクトリの PNG 画像を連番ファイル名にリネームしたあげく、ffmpeg を使って MP4 動画に変換してしまう Python コード。encode.py とでも名前を付けて python encode hoge fooのように使えば、hoge ディレクトリの PNG 画像から foo.mp4 がで…

ffmpeg を使って、指定したフレームレートの MP4 を連番 PNG からつくる。 ffmpeg -r 10 -i %03d.png -r 10 -vcodec libx264 out.mp4

以下の URL から media9 パッケージをダウンロードする。 http://tug.ctan.org/tex-archive/install/macros/latex/contrib/media9.tds.zip zip ファイルの中身を C:\w32tex\share\texmf に入れる。ls-R を使っていなければインストール終わり。使っていれば …

インポート import matplotlib.pyplot as plt import matplotlib.image as mpimg import matplotlib as mpl import numpy as np matplotlib.rc の編集 mpl.rc('lines', markersize=2, markeredgewidth=0.5) mpl.rc('mathtext', fontset='stixsans') mpl.rc('…

環境は Windows 7 Home Premium + Inkscape 0.48.2。スライド名に日本語を使うと、トランジションの設定で文字コード関係のエラーが起きる。エラーメッセージ： Traceback (most recent call last): File "jessyInk_transitions.py", line 74, in <module> effect.af</module>…

rc parameters をいじる。 import matplotlib as mpl mpl.rc('lines', color='white') mpl.rc('patch', edgecolor='white') mpl.rc('text', color='white') mpl.rc('axes', facecolor='black', edgecolor='white', labelcolor='white') mpl.rc('xtick', colo…

Windows 用。ps2pdf で変換したら画像が JPEG 圧縮になったので作った。eps2pdf.bat のような名前で保存して使うべし。画像を FlateEncode で圧縮。BoundingBox を用紙サイズに設定する（-dEPSCrop）。 eps2pdf.bat hoge.eps で、hoge.eps と同じディレクト…