11:20:55jackdanielscymtym: I might have asked that previously, but what do you use to record screen?
11:30:07scymtymjackdaniel: my solution is simple but very limited. i use a program called recordmydesktop (included in Debian) which i call like recordmydesktop --no-sound -x 1600 -y 32 --width 800 --height 600 -o s-expression-syntax.ogv
11:30:35scymtymi tweak the geometry options until the region of interest is properly captured
11:32:30scymtymi don't. it outputs ogg vorbis (with theora, i assume), which seems to just work everywhere
11:33:21jackdanielaha, I must have remembered wrong
11:33:49scymtymwhy would you prefer gif over ogv? to upload to image hosters?
11:35:30jackdanielI can think of one reason: embedding in blog post without embedding a video (although animated gif is conceptually a video, it is often handled as picture)