MacOS では shift(⇧) + command(⌘) + 5 から画面収録できるわけだが、それが QuickTime ムービー形式なわけでブログとかにペシっと載せるにはちょっと不都合。なのでアニメーションGIFに変換する簡単な方法ないものかと調べたところffmpegを使えばできる。というわけでワンライナーができた。 ffmpeg を MacOS にインストールしてもいいが Docker Hub にイメージがあったのでそいつを使う。 docker run -v $(pwd):/tmp -w /tmp jrottenberg/ffmpeg -i 画面収録\ 2021-01-23\ 16.12.46.mov -r 24 -vf scale=320:-1 converted.gif サイズを指定しないとそこそこ大きいサイズのGIFが作成され、オリジナルのmovファイルより容量がデカくなってしまうっていう。
ポータブルな PHP 実行環境が欲しくて Docker Hub の PHP イメージを眺めるメモ。 https://hub.docker.com/_/php CLI で実行するサンプル # docker run -it --rm -v "$PWD":/usr/src/myapp -w /usr/src/myapp php:7.4-cli php my-script.php my-script.php は以下の通り。 <?php echo "hello\n"; 実行結果。 $ docker run -it --rm -v "$PWD":/usr/src/myapp -w /usr/src/myapp php:7.4-cli php my-script.php hello インストール済みのモジュールや phpinfo() を確認する # php -m php -i Extensions をインストールするには以下らへんが利用できるらしい。必要になった時のためにメモだけ。 docker-php-ext-configure docker-php-ext-install docker-php-ext-enable 例えば GD extension をインストールしたイメージを用意するには以下のような Dockerfile を用意すれば良いと。 FROM php:7.4-fpm RUN apt-get update && apt-get install -y \ libfreetype6-dev \ libjpeg62-turbo-dev \ libpng-dev \ && docker-php-ext-configure gd --with-freetype --with-jpeg \ && docker-php-ext-install -j$(nproc) gd PECL extensions をインストールする場合はこう。 ...
TL;DR # 以下コピペで実行。 for i in $(docker ps -a --format '{{ .ID }}'); do docker rm $i; done for i in $(docker volume ls --format '{{ .Name }}'); do docker volume rm $i; done for i in $(docker network ls --format '{{ .Name }}'); do docker network rm $i; done ユースケース # ローカルでDocker利用していて、ふと docker ps -a とか見るとゴミが大量に出てきてクリーンアップしたい！という話。 docker ps の CONTAINER ID だけ列挙したい # --format を使う。 $ docker ps --help | grep format --format string Pretty-print containers using a Go template Go template で書式設定できると。 {{ . ...