jeremiah blog

A while back I signed up with Pinboard.in and stopped using my delicious.com account. Pinboard is pretty awesome, and there are plugins/extensions for Chrome, Firefox and Safari, but not much for Opera except for the generic “bookmarklets“. Fortunately, Opera is customizable enough that no extra plugins are really necessary.

Keyboard Shortcuts

The trickiest part was adding keyboard shortcuts for bookmarking. The shortcut editor in Opera isn’t very intuitive, so this was more difficult than I expected. My goal was to have F9 add the current page to “Read Later”, F10 to bring up the “Bookmark with Tags” page, and for F11 to bring up my Pinboard bookmarks. Eventually I was able to get it working. I think the important things are:

• Add the shortcuts under the Application section
• Make sure single key shortcuts are turned on
• Make sure the correct shortcuts are selected in the “Keyboard setup” list. Sometimes the change doesn’t seem to take effect…
• Make sure F9, F10, and F11 aren’t mapped to anything else anywhere.

The following can be copy/pasted into the keyboard .ini settings file. Or, copy paste everything after the ‘=’ into the keyboard shortcut editor.

; Read Later
F9=Go to page,"javascript:{q=location.href;p=document.title;void(t=open('https://pinboard.in/add?later=yes&noui=yes&jump=close&url='+encodeURIComponent(q)+'&title='+encodeURIComponent(p),'Pinboard', 'toolbar=no,width=100,height=100'));t.blur();}"

; Go to Pinboard.in
F11=Go to page,"https://pinboard.in/u:jlarocco/"


Searches

Next I added two custom searches for easy access to my bookmarks.

The first one, with shortcut “pbt” uses the URL “https://pinboard.in/u:jlarocco/t:%s”, goes to my Pinboard page and displays all bookmarks with a certain tag:

The second one, with shortcut “pb” uses the URL “https://pinboard.in/search/?query=%s&mine=Search+Mine”, will search all of my Pinboard bookmarks:

With the above configuration it’s almost easier to use Pinboard than it is to use Opera’s built-in bookmarking functionality.