Title photo
frugal technology, simple living and guerrilla large-appliance repair

Regular blog here, 'microblog' there

Many of my traditional blog post live on this site, but a great majority of my social-style posts can be found on my much-busier microbloging site at updates.passthejoe.net. It's busier because my BlogPoster "microblogging" script generates short, Twitter-style posts from the Linux or Windows (or anywhere you can run Ruby with too many Gems) command line, uploads them to the web server and send them out on my Twitter and Mastodon feeds.

I used to post to this blog via scripts and Unix/Linux utilities (curl and Unison) that helped me mirror the files locally and on the server. Since this site recently moved hosts, none of that is set up. I'm just using SFTP and SSH to write posts and manage the site.

Disqus comments are not live just yet because I'm not sure about what I'm going to do for the domain on this site. I'll probably restore the old domain at first just to have some continuity, but for now I like using the "free" domain from this site's new host, NearlyFreeSpeech.net.

Thu, 30 Aug 2012

How I got rid of multiple icons in the Applications tab of GNOME 3 ... temporarily anyway (but full solution is forthcoming)

Note: I figured it out!!! I will write up the solution to the multiple-application-icon problem tomorrow sometime in the near future.

Meanwhile, here's the entry I wrote earlier today:

I'm running GNOME Shell (aka GNOME 3) in Debian Wheezy, and when I go to the applications tab (mouse into the "hot corner," or hit the "super" key, then either click on Applications or just start typing the first letters of your desired app), I had been getting multiples of the same application, one version with a detailed icon, another with a fuzzy, bitmapped icon.

There are quite a few "recipes" on the Web for solving this problem, but most are from 2011, and with GNOME and the distribution in general undergoing a lot of changes, I wasn't optimistic that anything would work.

This easy fix did work for me, albeit temporarily; only in the current session. If you feel like trying it, it's easy enough. Basically open up a terminal and use your rootly powers (I use sudo for that purpose, but you can su to root if you wish) to do the following:

$ sudo update-menus

My multiple-icon problem was cleared up ... until I logged out. When I logged in again, I had multiple icons. I could run update-menus in a startup script, but that's not terribly elegant.