日記（2019年12月29日）

Sun Dec 29 23:36:28 JST 2019 (modified: Sun Dec 29 23:46:02 JST 2019)
views: 1826, keywords:日記, Raspberry Pi 4, Satysfi この記事は最終更新日が4年以上前のものです。

　シェル芸勉強会の翌日でバテていたけど合間にいろいろやった。これだけやって夜に長女の家庭教師をやって体力なくなって終了。他、ウェブサイトのバックアップシステムのバグfixとか熱帯魚の水槽の水換えとか。

Raspberry Pi 4にUbuntu 18.04

　ROS用にインストール。以前やったときはいろいろ失敗したけど、 今回は某氏のおかげで一発で64bit版・サーバ版のUbuntu 18.04が動いた。

@GravityPresence に教えてもらったRaspberry Pi 4のUbuntu 18.04のイメージ動いた。あざっす。https://t.co/3fH4nQLGCy

— 上田 隆一 (@ryuichiueda) December 29, 2019

UbuntuにSatysfiをインストール

　ある書き物のためにノートPCのUbuntu 18.04にSatysfiをインストール。Macとちがって opamという（opy並に日本語的には微妙な名前の）OCamlの パッケージマネージャを使うのでちょっとむずい。 OCamlのバージョンをSatysfiに合わせなきゃいけないところが 自分的にはハマりポイントだった。

• 参考にしたサイト
  • https://github.com/gfngfn/SATySFi/blob/master/README-ja.md
  • https://opam.ocaml.org/doc/Install.html

　インストールした記念に、ちょっと書き物を進めた。（本末転倒）

シェル芸勉強会のまとめ

　このページです。みなさまありがとうございました。

シェル芸人からの挑戦状

　メンバーの皆さんの作った問題の確認と解答の追加など。

ウェブサイト（bashcms2）の機能追加

　このページに日次のPV数の表示を追加。システムにこのCGIスクリプトを加えて、ページのMarkdownの中にJavaScriptとHTMLを書いて実装。

以上。明日は早起きして家族を羽田に送る。（車は持ってないので電車で。）寝る。

prev:jus共催 第45回シェル芸勉強会リンク集 next:日記（2020年1月1日）

やり散らかし一覧

記事いろいろ