2017年10月12日Linuxテクニック

各サーバーソフトなどの設定ファイル、シェルスクリプト、あるいはPythonやPHPといったスクリプトファイルから特定の文字列を探し出し、一括で置換したいことってありますよね。
でも、文字列を置換するためだけにエディタでファイル ...

2017年10月12日Linuxテクニック

GNOME Shellのデフォルト設定では、パネルに曜日と時刻しか表示されません。

UnityなどからGNOME Shellに乗り換えると、これは不便に感じますよね。Ubuntu 17.10にアップグレードして、この点を不 ...

2017年10月2日Linuxテクニック

GNOME Shellに拡張機能(Extensions)を追加することで、自分好みのデスクトップにカスタマイズすることができます。ちょうど、Google ChromeやFirefoxに拡張機能が追加できるのと同じようなものですね。

2017年8月29日Linuxテクニック

先日、「gtop – 端末で使えるグラフィカルなシステムモニタ」を書いた時、スクリーンキャプチャした動画をffmpegでGIFアニメーションにして貼り付けました。その時に用いた方法を紹介します。最近はTwitterやIns ...

2017年8月25日Linuxテクニック

Linuxに慣れてくると、端末ウィンドウを開いてコマンドを打つ機会が増えてきますよね。本サイトのようにコマンドを紹介しているサイトからコピー&ペーストすることもあるでしょうけど、やはり手で打ち込むことも多くなってくるでしょう。

2017年8月24日Linuxテクニック

社内や学内からしか見られないWebサイトを使っている人、結構いますよね。他にも、特定のWebサイトへの接続がブロックされているネットワークとか、日本国内からのアクセスしか受け付けていないWebサイトとか、逆に日本からのアクセスを制限し ...

2017年8月19日Linuxテクニック

VirtualBoxでLinuxを使っている人、多いですよね。近年のPCの性能なら、Windowsなどの上でLinuxを動かしても十分に使えます。マルチブートにしてトラブルを招くより、一度に複数のOSを使えるVirtualBoxのほう ...

2017年8月16日Linuxテクニック

Dockerを使ったシステム構築事例、増えていますね。Dockerを使えば簡単にWebアプリなどを試したりできるので、個人で使っているという方も多いでしょう。Linuxに手動でさまざまなパッケージをセットアップするより、ずっと手軽に動 ...

2017年8月15日Linuxテクニック

ダウンロードした写真画像や撮影した画像、数が増えるとハードディスクがいくらあっても足りませんよね。写真画像の大半はJPEGファイルですので、JPEGのファイルサイズが小さくできればストレージ容量の大幅な節約になるでしょう。また、Web ...

2017年8月10日Linuxテクニック

Aの隣にあるCapsLockキー、そのまま使う人は少ないですよね。Ctrlに変えて使っている人も多いと思います。私も新しくLinuxをインストールすると、まずはCapsLockをCtrlに変更します。Linuxの場合、設定ダイアログか ...