パネルを右クリックし、「+ アプレットをパネルに追加」に進みます。アプレット「Grouped window list」は削除する必要があります。これは、私たちの両方を悩ませているグループ化を追加するものです。その後、古い方法に戻すには、アプレット「ウィンドウ リスト」を追加する必要があります。
FWIW 私がこれを行ったとき、それは古い方法で機能しましたが、間隔が非常に壊れていました。メニューとウィンドウ リストの間には大きなギャップがありました。「スペーサー」アプレットを追加することでギャップを減らしましたが、多少のことでした。クイック起動アイコンもウィンドウリストの左側にあり、これを修正する方法がわかりません....まだ.いずれにしても煩わしいですが、それでも Windows X にインスパイアされた煩わしさよりははるかにましです。
-Charlie
Mint 19.1 の時点で、これは Welcome screen
から実行できます。 (メニューの検索バーで「ようこそ画面」を検索してください)
左側で、First Steps
を選択します 、次に Desktop Layout
の下 メインウィンドウのセクションで Traditional
を選択します .おそらく、持っていたショートカットを再作成する必要があります。
Linux で、ディレクトリ内の 1000 個のファイルが別の場所に移動され、別の 300 個のファイルがソース ディレクトリに追加された場合はどうなりますか?
なぜ `tail -f … | grep -q …` 一致が見つかったら終了しますか?