2017年10月20日Linuxガイド

10月18日、Ubuntu 17.10がリリースされました。インストール方法をスクリーンショットつきでまとめたので、参考にしてください。

初心者でも分かりやすいよう、難しい設定は行わず、1台のSSDあるいはHDDを搭載した ...

2017年10月19日Linuxガイド

PCでLinuxを始めるには「Linuxを起動するためのメディア」が必要になります。その1つが「ライブUSBメモリ」です。この記事では、Windowsでの作成方法を紹介します。

Linuxの書籍や雑誌には、よく「ライブDV ...

2017年10月18日WSL(Windows Subsystem for Linux)

10月17日に提供が始まった「Windows 10 Fall Creators Update」で、Windows 10に正式版の「Windows Subsystem for Linux(WSL)」が搭載されました。これに伴い、「Win ...

2017年10月18日Windows

10月17日、「Windows 10 Fall Creators Update」の提供が開始されました。といっても、いつものWindows Updateのように一斉にアップデートされるのではなく、一部のユーザーから徐々にアップデート対 ...

2017年10月15日おすすめLinuxアプリ

Linuxデスクトップでテキストを編集するといえば、一番に紹介されるのがGNOMEの標準エディタ「gedit」です。多くのLinuxディストリビューションでデフォルトのテキストエディタとして設定されており、ファイルマネージャーでテキス ...

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

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

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

2017年10月8日おすすめLinuxアプリ

Powerline Shellを使えば、以下のようなカラフルでカッコイイなプロンプトにすることができます。

カッコイイだけじゃなく、プロンプトに以下のような便利機能が追加されます。

GitやSVNなどのブラン ...

2017年10月6日おすすめLinuxアプリ

ミニスーファミやレトロフリークといった「レトロゲーム」が遊べるゲーム機が人気のようですね。こうしたゲーム機も中核ではLinuxで動いており、ゲーム機のエミュレーターを動作させるため、Linux向けに作られたプログラムが多く利用されてい ...

2017年10月4日おすすめLinuxアプリ

「ポモドーロ・テクニック」という時間管理術があります。集中して仕事をこなすために、時間を作業25分+休憩5分に区切って仕事をこなすというものです。こうすることで、効率的に作業して生産性をアップさせることができると言われています。

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

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