sh: otf_head: コマンドが見つかりません

nostarの実行ファイルにパスが通っていないときに出るエラーメッセージ。

~/.bashrc をテキストエディタで開いて、
PATH="$PATH:/usr/local/nostar/bin"

を追加。

保存して閉じて、

source ~/.bashrc

コメント

コメントを投稿

このブログの人気の投稿

【PowerPoint】学会ポスターの作り方

イメージ
PowerPoint 2013を使った学会ポスターの作り方をメモしておきます。 紙のサイズを設定する 学会の要綱などに書いてあるポスターサイズを確認します。 PowerPointの上部のタブの「デザイン>スライドのサイズ>ユーザー設定のスライドのサイズ」を選択します。 スライドのサイズの指定は「ユーザー設定」を選択し、 例えばA0ならば、幅 84.098 cm、高さ 118.899 cmにします。 次にテキストボックスを配置する目印を作ります。 文頭がずれていると格好悪く見えるからです。 私はピンクの矢印のような順番で読むことを想定していたので、 図1のように真ん中だけ少し広く(4cm)スペースを取って、 それ以外は各項目の間隔が3cmになるようにしていました。 図形の長方形を使うと幅や高さを設定できるので楽です。 図1. テキストボックスを配置する目印 テキストボックスを目印にぴったり合わせて配置し、中身を書きます。 図2. テキストボックスの配置 内容が完璧になったら2で作った目印よりも幅を細くして(1～2cmとか)縁を配置します。 背景（ピンク）を配置 最後に目印を消して完成。 完成。 数あるポスターの中から注目してもらえるような工夫が大切です。 たとえば天文系だと地の色が青系のポスターが多くなるので、 あえてショッキングピンクを使うとかすると、 概要くらいは読んでもらえるかもしれません。 ポスターは立ち止まって読んでもらってなんぼなので、 読みたくなるような工夫が大事です。 例えば、説明の図のように文字だけだと読みたくないので、 文章は少なめにした方が良いです。 どうしても文字が多くなる時は、大事な単語に色をつけたり、太字にしたりして、 読みやすくしましょう。 パッと見て研究の要点が分かるようになっていると読む人に親切です。 ポスター会場は人でごった返しているので、 詳しく議論をしたいのにポスターの設置者が分からないことがあります。 せっかくの議論の機会を失わないためにも、 ポスターには顔写真を貼ることをお勧めします。 ポスターが完成に近づくとPowerPointが頻繁に落ちるようになるので、 こまめに保存するようにし...
続きを読む

Windows使いがoverleafでPDF画像を挿入する

1. Windowsのコマンドプロンプトでbbファイルを作る 挿入したいPDFがあるディレクトリに飛んで、 extractbb image.pdf と打つと、そのディレクトリ内にXBBファイルが生成される。 2. XBBファイルでBoundingBoxを調べる。 XBBファイルの中身はこんな感じ↓↓ %%Title: ./image.pdf %%Creator: extractbb 20100328 %%BoundingBox: 0 0 576 432 %%HiResBoundingBox: 0.000000 0.000000 576.000000 432.000000 %%PDFVersion: 1.4 %%Pages: 1 %%CreationDate: Wed Oct 24 14:12:26 2018 3. overleafに画像をアップロードした後、 画像を挿入したいところに以下のように打ち込む。 widthは適当にいじる。 \begin{figure} \begin{center} \includegraphics[clip, width=8cm, bb= 0 0 576 432 ]{image.pdf} \end{center} \end{figure} 画像が表示されなかったら、設定でLaTeXエンジンとプレビューフォーマットを XeLaTeX, PNGにする。 追記 bb=...がなくても表示できるよ！って同期に言われました。 確かにできました。私が苦労した時間を返してくれ。 minipageとかでうまくいかなくて困ったら上記の方法を試してみてください。
続きを読む

RakutenMiniのOSアップデート

 楽天の株主優待で楽天モバイルのeSIMをもらいました。 手元にあった古い端末（iPhone 6）にeSIMを入れようとしたのですが、eSIM非対応だったので、急遽メルカリで中古のRakutenMiniを購入しました。 ところがRakutenMiniのOSが古く、株主優待eSIMで通話をするために必要なアプリがインストールできないという問題にぶち当たったため、OSアップデートをするに至りました。 RakutenMiniは最新Androidの対象外機種のため、ネットで調べながら手探りで裏口のような方法でアップデートをしています。 ネットで調べていてよくわからなかったところをメモします。 ※自己責任で参考にしてください。 参考にしたページ： ①  RakutenMiniにAndroid13を入れる方法｜みお (note.com) ②  Rakuten MiniをBootloader Unlockする方法。Magiskでのroot化やカスタムロム導入も可能 - AndroPlus ①の中で②に飛ばされます。 つまずいたところだけメモします。 【開発者オプションてどこ？】 ②の中で開発者向けオプションを開いてOEMロック解除をONにするのですが、デフォルトでは開発者向けオプションが存在しません。 設定>端末情報>ビルド番号（7回タップ） ここでついでにUSBデバックもONにしておくとよいです。 【コマンドはどこで実行するのさ？】 ②のOEMロック解除の直後に「『adb reboot bootloader』でBootloaderへ再起動」とあります。 スマホでコマンド実行するんかなと思っておりました。 スマホいじり初心者の私はこんなこともわかりません。 こちらはPCで実行します。 USBでスマホと接続したPC（Windows）のPowerShellで実行します。 【どれだけ待っても待たされる】 さらにBootloaderへ再起動の直後の「fast flashing unlock」をPCで実行すると「<waiting for any device>」と表示されて待てど暮らせど進みません。 こちらGoogle USB ドライバーの更新で解決できるものでした。 下記リンクで解決しました。 解決後に「fastboot flashin...
続きを読む