Panther日記
過去の遺産ということで。
散乱してるけど。
BuckNumber
2008年2月15日(金) sshのユーザー名変更
ホストとリモートのユーザー名が異なる場合、.ssh/configに
User username
を加えればOK。
今まで全て同じ名前にしてたので知らなかった…
だいぶ800x480の画面に慣れてきた。
窮屈に感じないから不思議。
2008年2月26日(火) Tgifの図にTeXの数式を挿入
というか上書き?
まずtgifで絵を書き、数式、記号を挿入するところに何か文字を入れる。
例えばxaxis,yaxis
epsで書き出し。
texファイルを作る。
----------
\documentclass[12pt]{article}
\usepackage{graphicx,psfrag}
\pagestyle{empty}
\begin{document}
\psfrag{xaxis}{\Large $x[\times 10^4{\rm \AA}]$}
\psfrag{yaxis}{\rotatebox[origin=c]{90}{\Large $\sin(x)$}}
\resizebox{\textwidth}{!}{\includegraphics{plot.eps}}
\end{document}
----------
platex sample.tex
dvips sample.dvi
(dvips -Ppdf -Eでいいんだけど、左に余白が出ちゃうのでps2epsiを使う)
ps2epsi sample.ps sample.eps
とかすると、xaxisのとことyaxisのとこがTeXの表式で置き換わる。
gnuplot→tgif→texとかに期待。