<?xml version="1.0" encoding="utf-8" standalone="yes" ?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>ElementaryOS  Zen-Funk Panda</title>
    <link>https://panda.zenfunk.it/tags/elementaryos/</link>
    <description>  ElementaryOS  Zen-Funk Panda</description>
    <generator>Hugo</generator>
    <language>it</language>
    <lastBuildDate>Mon, 10 Feb 2014 10:29:00 +0000</lastBuildDate>
      <atom:link href="https://panda.zenfunk.it/tags/elementaryos/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>ElementaryOS, dual monitor e workspaces solo sul display primario.</title>
      <link>https://panda.zenfunk.it/posts/2014-02-10-elementaryos-dual-monitor-e-workspaces-solo-sul-display-primario/</link>
      <pubDate>Mon, 10 Feb 2014 10:29:00 +0000</pubDate>
      <guid>https://panda.zenfunk.it/posts/2014-02-10-elementaryos-dual-monitor-e-workspaces-solo-sul-display-primario/</guid>
      <description>&lt;p&gt;Dalla scorsa settimana ho deciso di installare &lt;a href=&#34;http://elementaryos.org/&#34;&gt;ElementaryOS&lt;/a&gt; anche sulla mia workstation al lavoro perchè sia la Ubuntu Gnome 13.04 che la 13.10 mi hanno dato non pochi problemi con continui crash. Anche se sono un fan di ElementaryOS sin dalla prima release ho provato Gnome3 per diversi mesi e devo dire che mi sono trovato molto bene come &lt;em&gt;user experience&lt;/em&gt;, soprattutto per la possibilità di escludere il secondo monitor dalla gestione dei workspace: sul secondo monitor tengo tutti i terminali che mi serve avere sempre sott’occhio e sul primo monitor faccio tutto il resto utilizzando molto i workspaces.&lt;/p&gt;&#xA;&lt;p&gt;Ieri, spulciando su Launchpad, ho scoperto che &lt;a href=&#34;https://answers.launchpad.net/gala/&amp;#43;question/234490&#34;&gt;Gala è basato su &lt;code&gt;libmutter&lt;/code&gt;&lt;/a&gt; e quindi eredita questa funzionalità da Gnome3! Basta settarla con &lt;code&gt;dconf-editor&lt;/code&gt;:&lt;/p&gt;&#xA;&lt;pre&gt;&lt;code&gt;org.gnome.mutter workspaces-only-on-primary&#xA;&lt;/code&gt;&lt;/pre&gt;&#xA;</description>
    </item>
    <item>
      <title>gkrellm system monitor su elementaryOS, il vecchio ed il nuovo</title>
      <link>https://panda.zenfunk.it/posts/2013-06-18-gkrellm-system-monitor-su-elementaryos-il-vecchio-ed-il-nuovo/</link>
      <pubDate>Tue, 18 Jun 2013 11:07:00 +0000</pubDate>
      <guid>https://panda.zenfunk.it/posts/2013-06-18-gkrellm-system-monitor-su-elementaryos-il-vecchio-ed-il-nuovo/</guid>
      <description>&lt;p&gt;&lt;img src=&#34;https://panda.zenfunk.it/img-post/elementary-gkrellm.jpg&#34; alt=&#34;&#34;&gt;&lt;/p&gt;&#xA;&lt;p&gt;Un qualche &lt;em&gt;system monitor&lt;/em&gt; non manca mai nello schermo di un nerd… &lt;a href=&#34;http://members.dslextreme.com/users/billw/gkrellm/gkrellm.html&#34;&gt;gkrellm&lt;/a&gt; è un progetto maturo che ha alle spalle parecchi anni di sviluppo e mantenimento, ancora sa il fatto suo e perchè no – con delle impostazioni ottimali e &lt;a href=&#34;http://www.muhri.net/gkrellm/&#34;&gt;qualche tema&lt;/a&gt; può stare bene anche in un ambiene nuovo come elementaryOS!&lt;/p&gt;&#xA;&lt;p&gt;Le impostazioni ottimali a cui mi riferisco sono soprattutto quelle legate al comportamento della finestra di gkrellm rispetto al window manager in uso. Nel caso di elementaryOS, e quindi di &lt;strong&gt;gala&lt;/strong&gt;, è utile impostare la finestra come &lt;em&gt;sticky&lt;/em&gt; (in modo da averla su tutti i workspaces) e in modalità pannello/dock (in modo da essere esclusa da taskbars, dockbars, pagers, switchers).&lt;/p&gt;&#xA;&lt;p&gt;E’ consigliabile allinearlo ad un paio di pixel di distanza dal bordo dello schermo se si vuole che le finestre massimizzate lo coprano, se si allinea esattamente al bordo, si comporterà -appunto- come un pannello o una dock, richiedendo al window manager di riservarne lo spazio di visibilità anche con finestre massimizzate.&lt;/p&gt;&#xA;&lt;p&gt;&lt;img src=&#34;https://panda.zenfunk.it/img-post/gkrellm-impostazioni.jpg&#34; alt=&#34;&#34;&gt;&lt;/p&gt;&#xA;</description>
    </item>
  </channel>
</rss>
