Each of these commands will run an ad hoc http static server in your current (or specified) directory, available at http://localhost:8000. Use this power wisely.
$ python -m SimpleHTTPServer 8000
Each of these commands will run an ad hoc http static server in your current (or specified) directory, available at http://localhost:8000. Use this power wisely.
$ python -m SimpleHTTPServer 8000
All desktop browsers (I think/hope) support bookmarklets -- bookmarks that contain JavaScript code which is run when you select them. This bookmarklet makes it easier to follow users or interact with toots from other Mastodon instances by passing their URLs back to your home instance, where you can then follow/interact with them normally.
The bookmarklet:
javascript:var host="mastodon.social";if(document.location.hostname==host){alert("Already on your own instance!")}else{document.location=("https://"+host+"/authorize_interaction?uri="+encodeURIComponent(document.location))}
#!/bin/bash -eu | |
if [ $# -ne 1 ]; then | |
echo "specify dot file" | |
exit 1 | |
fi | |
dotfile=$1 | |
tmpfile=$(mktemp) | |
texfile="${1}.tex" |
必要なソフトをインストール | |
% sudo aptitude install gtk-recordmydesktop mplayer imagemagick | |
recordmydesktopを使ってキャプチャを撮る。/home/Videosに保存される。 | |
mplayerを使ってまずはjpegに変換。jpegが大量に出力されるので出力ディレクトリを作っておく | |
% mplayer -ao null 入力動画ファイル -vo jpeg:outdir=出力ディレクトリ | |
imagemagickを使ってgifに変換 | |
% convert 出力ディレクトリ/*.jpg 出力ファイル名.gif |