converting *.gif to file.pdf 掛起/凍結系統

我在一個目錄中有 415 個 gif 文件，並嘗試使用以下命令製作它們的單個 pdf：

convert /path/to/*.gif file.pdf

但它會導致整個系統掛起/凍結。換句話說，它使系統變得非常慢，我必須Ctrl+ c（殺死）程序（這也需要一些時間來停止）。

我該如何面對這個問題/問題？有沒有更好的/替代機制（命令/程序/解決方法）來完成這項任務？

注意：我正在使用 Trisquel GNU/Linux 7.0 LTS 在我的簡單台式電腦（3+3 GHz P4 處理器和 1GB og RAM）上工作。該convert程序是ImageMagick工具套件的成員。

您可能正在使用大量記憶體並導致交換。/usr/bin/time -v在執行 5 個文件並再次執行 10 個文件時，在命令前面使用一個簡單的測試將顯示，Maximum resident set size對於兩倍的文件來說，大約是兩倍。

因此，與其一次全部轉換，不如一次轉換一個，或者一次說十個，然後連接 pdf。這將需要更長的時間，但更少的記憶體。

rm -f /tmp/file.pdf
for i in *.gif
do convert "$i" /tmp/a.pdf
  if [ -s /tmp/file.pdf ]
  then gs -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sOutputFile=/tmp/b.pdf /tmp/file.pdf /tmp/a.pdf
  else mv /tmp/a.pdf /tmp/b.pdf
  fi
  mv /tmp/b.pdf /tmp/file.pdf
done

引用自：https://unix.stackexchange.com/questions/324837