目標 vagrant upするだけで デフォルトのシェルがzsh preztoのセットアップも完了している ような環境を実現する。 はじめに注意 初期状態ではroot権限でprovisionスクリプトが実行されるので、スクリプト内の$HOMEは/rootに置換されてしまう *1。 今回はこ…

注意 GUIの仮想マシン（Ubuntu Desktopなど）は対象としていません。 はじめに 訳あってVirtualBox上のUbuntu仮想マシン（Ubuntu Server）を使用する必要が出てきた*1が、初期設定が非常に面倒である。 そこでVagrantを導入し、自動で仮想マシンを作成しても…

問題 以前のPCに入っていたソフトをwingetで一括導入しようとしたところ、 PS C:\Users\user> winget import -i hoge.json \ PS C:\Users\user> （注：2行目以降は実際は青色で表示される） としか表示されず、いつまで経ってもインストールされない。 なおw…

Google検索はその検索精度の高さや使いやすさもあり、広く一般に利用されている。とくに画像検索の優秀さは目を見張るものがある。 しかしプライバシーやカスタマイズ性を考えると問題点もある。 カスタマイズ性が低い 個人的には「検索結果を別タブで開く」…

問題 VSCodeでDockerコンテナにアタッチしようとすると，突如以下のエラーが出て失敗するようになった． Error running command remote-containers.attachToRunningContainerFromViewlet: The operation was aborted. This is likely caused by the extensio…

手っ取り早いのはPCの買い替えだが，それができない場合にZoomをある程度快適に使うためのTipsを紹介する． 1. キーボードショートカットを活用する Alt+Hでチャットが開けたり，Alt+Yで挙手できたりするのは地味に便利． すべてのショートカットは以下リン…

Vivaldiは素晴らしいブラウザだが，自動翻訳機能がない．また付属の翻訳機能も精度が低いと感じる． Chromeには自動翻訳機能があることを踏まえると，これは唯一の欠点であるといえるだろう（過言？）． そこで自動翻訳機能をもつ拡張機能を探してみた． 調…

発生した問題 タイトル通り，Chromeアプリを起動すると数秒後にクラッシュしてしまう． 環境 OPPO Reno3 A（A002OP：おそらくワイモバイル版） Android 11（ColorOS v11） Chrome 116.0.5845.92 対処法 再起動など，基本的な対策は省略． 1. 起動して即ホー…

以前LifebookのSSD交換に失敗した↓が，懲りずに再チャレンジ． everykalax.hateblo.jp 用意するもの ThinkPad L380 OS：Windows11 Pro CPU：Intel Core i5-8250U @ 1.60GHz RAM: 16GB 内蔵SSD：256GB（詳細は後述） 中古で3万だった SSD（M2） 内蔵SSDと同程…

一度クラウドサービスを使ってみたかったので，Azureを用いてMisskey鯖を立ててみる． 注意 あくまでもAzureの学習がてら試しに立ててみただけであり，長期運用は考慮していない． Azure側の設定 今回はAzure for StudentsサブスクリプションでVirtual Machi…

はじめに 日本食研のCMによれば「2と5のつく日は煮込みハンバーグの日」とのこと． www.youtube.com 今回はWebページにカレンダーを埋め込み，そこに煮込みハンバーグの日を表示してみたい． 使用技術 カレンダーの表示にはFullCalendarを用いる． fullcalen…

PINE A64+（以下，PINE64）を買った． akizukidenshi.com HDMIケーブルを使いモニタに接続すれば簡単にセットアップができる． しかしこの記事では，モニタに接続することなくセットアップを済ませ，別のデバイスからSSH接続してみようと思う． 用意するもの…

やっと解決したので注意喚起(自分が知らないだけ？)． 問題 1行目*1にtype: ignoreという文字列を含むコメント行を追加すると構文エラー等が出なくなってしまう(ただし補完機能は正常に動作する)．VSCodeを再インストールしても直らなかったのでおそらく仕様…

概要 Github Actionsのテストとして，以下のWorkflowファイル（main.yml）を作成してWorkflowを実行した． name: Compile on: push: branches: ["main"] workflow_dispatch: jobs: sage: runs-on: ubuntu-latest container: image: sagemath/sagemath steps:…

2023/06/03-04に行われたSECCON Beginners CTF 2023に参加した．10問解いて136位だった． 図1. 結果 writeupを解いた順に記す．なおWelcome問題は省略． Forbidden (web, beginner) Half (reversing, beginner) poem (pwnable, beginner) aiwaf (web, easy) …

4年使ったノートPC（LIFEBOOK UH90/C3）が故障した． 起動するとOSを正しく読み込めない旨のエラーが出るので，BIOSで診断プログラムを実行したところ，SSDの故障のようだ． 保証期間も切れたので，SSDを交換することにした． 注意 分解することにより保証が…

結論 まずこの記事を読んで環境構築し、以下のようにsettings.jsonを修正してください。 なお.latexmkの変更は必要ないはずです。 // latexmk を利用した platex によるビルドコマンド // 古い LaTeX のテンプレートを使いまわしている (ドキュメントクラス…

1. 問題 VSCodeでPythonプログラムのデバッグを行う際，「デバッグ コンソール」(「ターミナル」や「出力」とは別物)において，tqdmによるプログレスバーの表示が崩れてしまう．図1にその様子を示す． 図1. プログレスバーの表示崩れ 2. 解決? デバッグコン…

draw.io(https://app.diagrams.net)はpng, jpeg, svg, pdf, vsdx, html, xml, url形式のエクスポートに対応しているが，eps形式には対応していない． そのため，まずsvg形式でエクスポートしてから，それをepsに変換する． draw.io → svg 「ファイル」→「形…

発生した問題 Docker Desktop(WSL2 backend)でUbuntuコンテナを立て，パッケージリストを更新するためにapt updateを行うと，パッケージミラーサーバへの接続が拒否されて(403 Forbidddenエラーが出て)更新に失敗する． Ubuntu20.04, 22.04のコンテナで問題…

1. はじめに 数ヶ月前から、Huawei P30 liteでリズムゲームをしていると勝手に音が下がる現象に遭遇するようになった。 原因は今のところ不明だが、現状起きていることについて書く。 2. 発生している問題 以下のアプリにおいて、リズムゲームが開始した数秒…

はじめに ガールフレンド(仮)(以下、GFと表記)には、特定のイベントで使用可能なアイテムとして「勇気炭酸」というものが存在する。 このアイテムはイベントごとに名称が異なり、「勇気炭酸グレープ」、「勇気炭酸ライチ」のようなオーソドックスなものから…

1. はじめに ブラウザのフォント設定をお気に入りのフォントに統一しているのだが、たまにWebページ側でフォントが指定されている場合がある。 普段はそれほど気になるものでもないが、頻繁に利用しているサイトではどうしても気になってしまうため、好きな…

注意: なぐり書きのメモなので読みにくいです やりたいこと ZapWorksを使って、人型3DモデルをARで表示させたい。あわよくばそのモデルを動かしたい。 やったことリスト(雑多) ZapWorksの基本(ブラウザで動作するZapWorks Designerを使用するのが楽) https:/…