ripgrepでファイルを高速検索する

vimのctrlp.vimというファイル検索プラグインでホームディレクトリ以下のファイルを検索することがよくあるのですが、この検索がなかなか遅いもので。なにか良いファイル検索コマンドはないかと探していたところ、驚くべき速度のコマンドripgrepという物を発見しました。今まで検索コマ […]

ffmpegで動画の音声を差し替える

タイトル通り、ffmpegで動画の音声を差し替える方法について記述していきます。プレゼンの時にちょっとした動画が必要となり、無音の動画の音声をつける必要があったので、その際に使用したコマンドをメモしておきます。 ffmpegとは動画のトリムやコーデックの変更など、コマンドラインでサクッ […]

さて、今回はrEFIndのテーマを変更する方法についてです。デフォルトのrEFIndのOS選択画面って、ハッキリ言って美しくないですよね。そこで今回は、rEFIndのOS選択画面カスタマイズしていきます。「rEFIndって何？」という方や、「rEFIndのインストール方法がわからない […]

ファイルを圧縮したい。そんな時に使うtarコマンドですが、そんな頻繁には使うことがないのでついつい忘れてしまいます。そこで、tarコマンドの使い方をまとめてみました。 tarコマンドとは複数のファイルやディレクトリなどを1つにまとめ、ファイルの容量を小さくして（圧縮して）くれるコマ […]

macのターミナルって、デフォルトの設定だと白黒でものすごく味気ないですよね。今回はそんな味気ないmacのターミナル出力をカスタマイズして、カラフルで見やすくしていきたいと思います。タイトルにはわかりやすく「mac ターミナルの出力に色をつける」としていますが、MacやUbuntuな […]

ロボット制御の必需品とも言えるROS。Linux・ROSの導入にあたり、苦労している人も多いのではないでしょうか。ここでは、ROSの最新バージョンをubuntuに導入する手順を順番に紹介していきます。 ROSのディストリビューション ROSにはパッケージが毎年リリースされます。 ROS […]

今回はbash系のシェルにて、bashrcを編集することでコマンドのエイリアスを作成する方法について記述していきます。コマンドのエイリアスを作成することで、頻繁に使用する長いコマンドを短い文字列で置き換えることができたり、コマンドのデフォルト動作を上書きしたりすることができ、非常に便利 […]

ubuntuを利用していて、usbや外付けハードディスクを挿入した時にデバイスが認識しない。という経験をされた方も多いのではないでしょうか。今回はそのような、「ubuntuに外部メディアを挿入したけれども認識しなかった！」という時の対処法を紹介していきます。ファイルシステムexFA […]

近年では、電子書籍も結構浸透してきたのではないでしょうか。私もAmazonで電子書籍を購入する機会が増えたように思います。 Amazonで購入した電子書籍をPCで読むためには、KindleのPC用アプリをAmazonからダウンロードしてインストールする必要があります。でもそのアプリケ […]

ubuntu GNOMEのEstensionsにArgosという面白いものを発見したので，それで遊んでみた． Argosとは，TopBarにオリジナルのインジケータ（例えば…今日の株価を表示する，CPUの使用率を表示する，通信速度を表示する等）を作成できるツール．アイデアに […]