Ubunutuに乗り換えてからクリップボードマネージャをいろいろ試してきたが、ようやく満足行くのに巡り会えた。 その名はGlippy(https://launchpad.net/glippy)。 これで「最新のGNOME環境で使用可能」「snippet機能あり」「Eclipseなどと競合しない」という…