結論
どうしても作れない。バージョンは以下のとおり。
$ mysql --version mysql Ver 14.14 Distrib 5.7.19, for Linux (x86_64) using EditLine wrapper続きを読む
どうしても作れない。バージョンは以下のとおり。
$ mysql --version mysql Ver 14.14 Distrib 5.7.19, for Linux (x86_64) using EditLine wrapper続きを読む
メニューの「ウィンドウ」→「ワークスペース」から、現在のワークスペースを「リセット」する。
パネルが浮いてしまっている例が以下の画像です。
そして「3D」のワークスペースを「削除」する画像です。
根本的な解決ではないです(リセットされてしまうわけなので)。フロートしたパネルをくっつける方法は見つかりません。
検索しても本当に方法がヒットしないので*1、自分でいじって解決しました。
こういうのを付けるのはあまり好きじゃないのですが、あまりに検索でヒットしないので。
*1:きっと探し方(用語の使い方)もマズい
こんな感じで「設定ツール」やら「辞書ツール」やら「単語登録」やらを選択しても反応がない場合です。
$ sudo apt-get install mozc-utils-gui fcitx-config-gtk
下の方のmozc tool /usr/lib/mozc/mozc_tool がない、Mozc 辞書ツールが起動しない
あたりです。
$ sudo smartctl -a /dev/sda | grep 'Device Model' Device Model: M4-CT128M4SSD2 $ sudo smartctl -a /dev/sdb | grep 'Device Model' Device Model: HGST HDS5C4040ALE630 $ sudo smartctl -a /dev/sdc | grep 'Device Model' Device Model: WDC WD40EZRX-00SPEB0
以下のコマンドで一発でした……
$ plank --preferences
Linux でドックを実現するソフトウェアです。
設定画面を出したい……。
そのためには、「マウスカーソルをドック上で移動させて」、「アプリケーションが起動しない位置までマウスカーソルを持ってきて」、「右クリックから設定画面を出す」必要があります。
右クリックしましょう(╹◡╹)