30を最新の状態にするための手順は以下の通りです。以下のコマンドを実行します。−−refreshパッケージがダウンロードされてインストールされます。本サーバでは合計すると700Mバイトくらいのファイルサイズのパッケージがダウンロードされました。サーバを再起動します。30を最新の状態にする作業は完了です。kernelのバージョンは以下の通りです。GNU/Linux5.1.9から5.3.16に変わっていることがわかります。31へのアップグレードは以下の手順で行いました。pluginを最新の状態にします(すでに最新の状態になっている場合には何も実行されません)。インストールされています。依存関係が解決しました。行うべきことはありません。ocaml-xmlrpc-light-0.6.1-48.fc31.x86_64(以下省略。31個の問題が発生してます。)と表示されてしまったので、ocamlをいったん消去すべく、以下のコマンドを実行します。ocaml再度、以下のコマンドを実行します。Enterキーを押す。Enterキーを押す。/etc/pki/rpm-gpg/RPM-GPG-KEY-fedora-31-x86_64スポンサーリンクダウンロードが完了したら、以下のコマンドを実行してサーバを再起動する。reboot再起動後にインストールが始まるので、しばらく待ちます。本サーバにおける所要時間は10分程度でした。ログイン画面が表示されたらログインして、以下のコマンドを実行しocamlに関連するパッケージのインストールをやり直す。ocaml*kernelのバージョンの確認。kernelのバージョンは以下の通りです。GNU/Linux動作の確認等NetworkManagerの設定スポンサーリンク使っていないネットワークインターフェース(ens5)のconnectionを定期的に無理矢理設定しようとして失敗している旨のログが/var/log/messagesに表示されるようになってしまったので、root権限で以下のコマンドを実行し、使っていないネットワークインターフェースのconnectionの設定自体を削除しました。ens5WordPressスポンサーリンクWordPressで記事の編集を行おうとしたところ、以下の画面が表示されました。そこで、画面に表示されている「Wordpressデータベースを更新」ボタンを押すと...に画面が瞬時に切り替わりました。MathJaxによる数式の表示状況を確認しましたが、特に問題はありませんでした。script(こちらの記事参照。)が以下のようなエラーを出力していました。denied証明書の更新もできていないようです。moduleを登録しました。MediaWikiMediaWikiの表示状況についての確認を行いましたが、数式及び化学式の表示については問題ありませんでした。extensionのバージョン及び設定がMediaWikiの最新版に追従できていないので、新たな数式を作成することができなくなっていました。「これからはMathoidを使ってね。」というようなことがMediaWikiのページに書いてありましたが、準備が大掛かりになりそうですね...。Pages)+MathJaxで数式が書けていることや、MediaWikiサーバはWordpressサーバとは完全に切り離された設定の下で運用されていて、かつMediaWikiサーバ自体が現在ほとんど使用されていないことから、MediaWiki上において数式を新規で書くか既存の数式を修正して$LaTeX$で処理させるための処理系の構築は当面見合わせることにしました。31へのアップグレード作業を完了しました。この状態で当面の間様子を見ます。27から28へアップグレードしてみた。WordPress及びMediaWikiがインストールされているものを含むPC群のFedora28を29にアップグレードしてみた。シャンパーニュを飲んだら更新されるページ。httpdをnginxに取り換えてみた。このウィジェットの背景が黒くなってしまうことがある理由についてはこちらをクリック。AviUtlgimp-2.10.sikuliGIMP-2.10を使ってスクリーンショットを取得するためのSikuliXのスクリプト。SikuliX-2.0.1+GIMP-2.10.10の組み合わせでのみ動作確認を行っています。SolrのDataImportHandlerで7-zipで圧縮されたファイルのインポートをサポートするためのJARファイル。struts2ajaxtestStruts2でAjaxを使用するWebアプリケーションのサンプル。LANを発行するためのスクリプトのサンプル(Fedora用)。8用のNEologd入りkuromojiをビルドするためのパッチ。GROWIの設定とHTTPS経由で接続するための各種の設定。GROWI等のインストール。PCからの音声をBOSEのスピーカーに飛ばしたら臨場感が増した件。httpdをnginxに取り換えてみた。YouTube↓のボタンを押していただくとチャンネルを登録できます。見解等とは一切関係ありません。