プロキシ設定スクリプトを設定して、職場にいるときだけプロキシを有効にする。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 … グループ化解除…