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に拡張機能が追加できるのと同じようなものですね。

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

（2018-03-29追記）
この記事で紹介している「MConnect」は既に開発が停止しています。同じ作者による、より高機能な「GSConnect」をオススメします。詳しくは以下の記事をご覧ください。

2017年9月28日Android

AndroidのコアはLinuxですよね。Androidは世界で20億台が稼働しており、年間10億台以上が出荷されているそうで、おかげでLinuxは「世界一多くのデバイスで動くカーネル」となっています。

【関連記事】

2017年9月25日おすすめLinuxアプリ

マイクロソフトの検索エンジンBingって、あまり使っている人がいない印象がありますよね。でも、毎日更新されるBingホームページの「今日の画像」は、かなりクオリティが高くて人気があるようです。Windows 10に「Bingデスクトッ ...