Linuxマシンのシステム・ワイドな設定は /etc の下に入っているので、/etcをバックアップすれば安心です。 それを管理できる etckeeper があることを今ごろ知りました。ということで、早速使ってみます。 そ…

いつも、こんがらがるので再度。 上段がアルト・パート(E flat)で書かれているもの。下段が実際の音程に変換したもの。

Wlindowsのエクスプローラーで右クリックで出てくる『送る』からドライブを除く方法です。 レジストリを編集します。レジストリを編集するとトラブルの元になる可能性もあります。 自己責任でやりましょう。自信がないひとは下…

WSLにするべきか、このままCygiwnで頑張るか、悶々としていますが、とりあえずCygwinの環境を整備しています。 今のPCはhomeとして使うディスクをシステムとは別ディスクにしているため、そのままではcygwin…

20年以上、メインのデスクトップ環境はLinuxだったのですが、最近Windows10に変えました。 自分も歳をとったと感じがします。というのもLinuxでのトラブルを解決する時間が惜しくなってきたのが一番の理由です。 …

自分の名前で仕事がひろがる 「普通」の人のためのSNSの教科書 Amazon 楽天市場 こうして、実名を出さずにブログやTiwtter, YouTubeなどを使っているのですが、実名を出すか悩むことはあります。 そんなわ…

今さら気づいたのが、 ls -l してパーミッションの最後に”+”が付いている場合があることです。 これはACL(access control list)が設定されていますよ、という意味でした。 …

cygwinでgitでpushするまでの設定をメモしておきます。 Git Bashではなく、cygwinで閉じることができるので、自分的にはこちらのほうが好みです。 ぼくの場合、GUIとしてはSourcetreeを使って…

最近メインのデスクトップ環境をLinuxからWindowsにしたのですが、仮想デスクトップの切り替えがサイクリックに出来ずイマイチでした。 仮想デスクトップの拡張ソフトはいくつかあるのですが、どれも開発が止まっているよう…

Simulinkの sdotool (Simulink Design Optimizer)では以前保存したセッションを呼び出すことが出来ます。 その場合、保存したセッションをいったんloadしないと呼び出しがうまく行かな…