Debian GNU/Linux スレッド Ver.85

1 ：login:Penguin：2016/07/29(金) 10:21:38.12 ID:6ffXAeMm.net

公式
https://www.debian.org/index.ja.html

過去ログは各自検索して見つけること
大体参考にならないので過度な期待は禁物

Debian のよくある質問や関連サイトはこちら (namazuTamer 氏提供)
スレ立て時のテンプレも以下にあります。
http://debian.fam.cx/
http://debian.dtdns.net/

前スレ
http://hayabusa6.2ch.net/test/read.cgi/linux/1457555702/

341 ：anonymous：2016/10/22(土) 06:12:43.76 ID:Joy5+Rm+.net

xfce ウィンドウマネージャとして使っている。
4K端末にしたらフォントなど小さくなりすぎて困った。

うまく使えている人はいますか？
個別にFirefoxとかは調整できる。
http://www.pcworld.com/article/2911509/how-to-make-linuxs-desktop-look-good-on-high-resolution-displays.html
ただし、これだけだとブラウザの中のフォントだけが大きくなる。
上の頁でDPIをGnomeの場合に大きくする事例がでていて、
いろいろ調べたらxfce4の場合には、xfce4-setting-manager でDPIを大きくしたら
デスクトップのフォントは大きくなるということでいじってみた。
https://forum.xfce.org/viewtopic.php?id=7734

確かになった。次の問題は「アプリケーションメニュー」とか上のバーに出ている文字なんだけども
これも大きくできた。（あれ、どうやったんだっけ？）
ところが一つだけ大きな問題が残っている。ウィンドウの上の枠の右端にでる+,_,□、Ｘだけが
大きくならなくて困っている。
ひょっとすると次の[1]に書いてあることでうまくいくのかもしれないのだが、xfce4.12
だとwidepanelというテーマがあるみたいでうまくいくとあるが、
[2]を読んで、debian はまだ4.10なんでダメなのかと挫折気味。
[3]にubuntuの場合に4.12に更新する場合の話があるが、desktopはうまくやらないと
関係設定ツールなどがうまく相互に更新できずおかしくなるこおとがあるのはすでにgnomeから
xfceに切り替えたときに経験すみなんで困った。
[1] http://askubuntu.com/questions/652021/adapt-font-and-icon-sizes-to-high-definition-screen-resolutions-in-ubuntu-studio

[2] http://www.webupd8.org/2015/03/a-look-at-whats-new-in-xfce-412-video.html

[3] http://ubuntuportal.com/2015/03/how-to-upgrade-xfce-4-10-to-xfce-4-12-in-xubuntu-14-04-and-xubuntu-14-10.html

4Kのデスクトップで上に述べたウィンドウの枠の_,□、×の部分のアイコンを大きく
して使えている人はいます？

342 ：341：2016/10/22(土) 06:25:16.86 ID:Joy5+Rm+.net

>> 341
> 次の問題は「アプリケーションメニュー」とか上のバーに出ている文字なんだけども

これは　次の頁の
「システムトレイのアイコンを拡大するには、システムトレイを右クリック (アイコンをクリックしないように、空きスペースや上部・下部のピクセルを右クリックしてください) → “Properties” → “Maximum icon size” を 32, 48, 64 などに設定してください。 」
を＊した後で＊、フォントのサイズをxfce4-setting-manager で外観=>ディフォルトフォントのサイズを大きくしたら
良くなった。（９から１２にしたらまあ簡単に読める程度に大きくなった）[4] https://wiki.archlinuxjp.org/index.php/HiDPI

[5] http://mumeiyamibito.blogspot.jp/2012/05/ubuntu-1204-emerald.html
にはなんか、アドオンプログラムで無理やり大きくするみたいな話で、ちょっと、うーん。

_,□、×が大きくなってくれれば万歳なんだけども成功している人がいたら是非どうするか
教えてほしい。4.12に変更を試みて、失敗すると仕事にさしつかえるし :-(

343 ：login:Penguin：2016/10/22(土) 23:26:26.99 ID:hEn7GRYa.net

man hostの-aと-lの和訳がだぶってるぞ

344 ：login:Penguin：2016/10/23(日) 05:26:04.13 ID:MOGmYH+q.net

>>338
これって
apt-get update
apt-get upgrade
だけじゃ駄目なんですよね？

apt-get dist-upgrade
すれば良いのでしょうか？

345 ：login:Penguin：2016/10/23(日) 09:32:05.69 ID:TYsSwAVw.net

>>342
設定 → ウィンドウマネージャー → スタイル
Default-hdpiかxhdpiに変える
気に入らなければ他の高dpi対応のを入れる

346 ：login:Penguin：2016/10/23(日) 10:07:47.41 ID:wVAd5oO0.net

>>344
日頃からdist-upgradeする癖付けといたほうがいいよ

347 ：login:Penguin：2016/10/23(日) 10:50:42.80 ID:MOGmYH+q.net

>>346
サーバーなのでトラブルが怖くてなかなかdist-upgradeを使う勇気が出ないです。

348 ：login:Penguin：2016/10/23(日) 12:17:19.74 ID:wVAd5oO0.net

>>347
鯖だったか、それは怖くなるのも分かるよ
カーネルは起動時に古いのを選べるし起動しなくてもそんなに困らなくないか？

349 ：login:Penguin：2016/10/23(日) 13:19:30.66 ID:S3YEORoh.net

カーネルのアップデートでdist-upgradeするの？
あれってメジャーバージョンアップのときにしか
使うことないと思ってた

350 ：login:Penguin：2016/10/23(日) 15:15:08.09 ID:xTmUW+0S.net

>>344
upgradeだけで問題ないよ。
3.16.36-1+deb8u2に上がります。