MacでPDFのサイズダウンがうまくいかず結局Webサービスを使った

タイトルの通り．

Quartz フィルタの Reduce File Size でやっても小さくならず．

ColorSyncユーティリティ.app でフィルタをカスタマイズできることがわかったのでカスタマイズしたがうまくいかず．

(解像度は確かに落ちてるのになぜかファイルサイズは変わらず) 

結局 AdobeのPDF圧縮のサービスを使うことに．

https://www.adobe.com/acrobat/online/compress-pdf.html

なんとなく釈然としない．

brewで特定のバージョンをインストールする方法

Macでunisonを使った同期をしようと思ったときに，unisonのバージョンが同期先と揃える必要があったので，特定のバージョンをインストールする必要があった．

以前はダウンロードしてビルドする必要があったような気がしていたけど，brewでできそうだったので，ここ記事を参考にインストールしてみたらうまく行った．