日記（2019年12月29日）

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

日記（2019年12月29日）

　シェル芸勉強会の翌日でバテていたけど合間にいろいろやった。これだけやって夜に長女の家庭教師をやって体力なくなって終了。他、ウェブサイトのバックアップシステムのバグ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日）

上田ブログ

書いた本（たぶんためになる）