diff options
author | jaseg <s@jaseg.de> | 2013-09-16 15:03:33 +0200 |
---|---|---|
committer | jaseg <s@jaseg.de> | 2013-09-16 15:03:33 +0200 |
commit | ed223febd651ea32bf784fb054ecb5082276cc6b (patch) | |
tree | 5f2f0bf3e54a1323ff7712d117de85e78122ce89 | |
parent | d4623d34f1032324e5ee39155e705bf5aa215f4b (diff) | |
download | pixelterm-ed223febd651ea32bf784fb054ecb5082276cc6b.tar.gz pixelterm-ed223febd651ea32bf784fb054ecb5082276cc6b.tar.bz2 pixelterm-ed223febd651ea32bf784fb054ecb5082276cc6b.zip |
Removed unnecessary pygments include in gifterm
-rwxr-xr-x | gifterm.py | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -1,11 +1,6 @@ #!/usr/bin/env python import os, sys, argparse, os.path, json, time, signal, atexit, pixelterm -#NOTE: This script uses pygments for RGB->X256 conversion since pygments is -#readily available. If you do not like pygments (e.g. because it is large), -#you could patch in something like https://github.com/magarcia/python-x256 -#(but don't forget to send me a pull request ;) -from pygments.formatters import terminal256 from PIL import Image, GifImagePlugin, ImageSequence clear_screen = '\033[H\033[2J' |