イヌツムリのメモ

学習したことのメモである。しかし、他の人が読んでもわかるように書こう。

2020-01-01から1年間の記事一覧

CentOS6のサポートが切れたのでyumの設定を変更する

はじめに (2021/02/01更新) CentOS6の環境にyumでソフトをインストールしようとしたらできなかったので、 泣きながら設定を変更した。 vault.centos.orgを有効化 CentOS-*.repoの$releaseverの値を変更 vault.centos.orgを有効化 https://vault.centos.org/ …

型コンストラクタのエクスポート&インポート in Haskell

はじめに 独自プロトコルで通信するサーバを作っていたら、 独自プロトコルで定義している型コンストラクタをインポートできなくてハマったので記録する。 結論 Export.hs module MyProtocol (MyMsg(..), createMyMsg, sendMyMsg) data MyMsg = MyMsg MyHead…

何回やっても忘れるgitのリポジトリ作成fromローカルマシン

はじめに もう何回やったかわからない、ローカルマシンからのgitのリポジトリ作成。 しかし、また忘れたので今度こそメモする。 ローカルマシン: windows10 環境: vscode gitホストサービス: gitlab 手順 ローカルリポジトリの作成 ローカルリポジトリに追加…

Rustでmap関数を実装したかった

結論 納得いかん 引数の方を何でもにできなかった。 再帰関数を定義しようとすると、多重貸し出しになってコンパイルが通らなかった。 解決策を調査したい。 サンプルコード fn map<T>(f: Box<dyn Fn(T) -> T>, a: &Vec<T>) -> Vec<T> where T: Copy + std::ops::Add<Output = T> + std::ops::S</output></t></t></dyn></t>…

Rustで高階関数を使う

はじめに 高階関数は便利だ。 なので、rustでも使いたい。 よって、使い方を検証した。 下記にrust環境構築方法をまとめている。 dockerとvscodeでrust環境を構築する on Windows10 - イヌツムリのメモ 結論 引数になる関数をBoxでラップすると、関数を引数…

dockerとvscodeでrust環境を構築する on Windows10

はじめに windows10上で、rustのdocker containerを作成し、 vscode上で編集したrustのソースコードをビルドして実行するまでの手順を示す。 概要図を挿入したい 手順 rustのdocker imageを取得する rustのdocker containerを作成する vscodeのextensionをイ…

配列を引数にするより、イテレータを使うほうがbashらしい

はじめに bashで配列を引数に取るように書こうとすると難しいし、読みにくい。 なのでより簡単でbashらしい書き方を調べたので記録する。 (2021/02/01)追記 結論 結論、下記のようにwhile readすることで、変数名に引数が代入されて処理できる。 疑問: 複数…

VirtualBoxの仮想マシンを複数台まとめて起動する

複数起動したいとき dogsnailという名前を含む仮想マシンをすべて起動するには下記のようなコマンドで実現できる。 grep以前を調整すれば応用可能 vboxmanage list vms | grep dogsnail | cut -d" " -f1 | xargs -I{} vboxmanage startvm {} --type headless…

VirtualBoxの仮想マシンをまとめてexportする

スクリプト バックアップを取りたいが何回もexport何回もするのがめんどいので下記スクリプトを使う #! /bin/sh list=(`vboxmanage list runningvms | sed -e "s/^.*\"\(.*\)\".*$/\1/"`) for vm in ${list[@]} ; do vboxmanage controlvm ${vm} poweroff; v…

MACアドレスを変更せずにVirtualBoxの仮想マシンをインポートする

virutalboxでは仮想マシンをインポートするとmacアドレスが変わる。 しかし、インポートの際に、macアドレスを維持したいことが多々ある。 理由としては、macが変わってしまうと、/dev ~のファイルやらなんやら設定し直すことになってめんどいからである。 …

tex環境の構築onWindows

はじめに wordは嫌いだ。 編集しているうちに、挿入した画像がどこかおかしなところへワープしていく。 数式を挿入するのもだるい。 他人が編集したwordファイルの謎の線がどうやって書き込まれたのか分析するのが大変だ。 (線の入れ方もいろいろあってどれ…

virtualboxのマシンを圧縮する

圧縮手順 ゲストOS上 空き容量一杯に空のファイルを作成して、削除。 (なぜ、/dev/zeroを読み込んでzeroファイルを作ることで空き容量いっぱいにゼロフィルできるのかわからん) # dd if=/dev/zero of=zero bs=4k # rm zero $ vagrant halt ホストOS上 VBoxMa…