Achernar's programming page

(2019-05-14) I'm still adding new links. Visit in the coming weeks to see updates. Last update: 2019-07-04

Table of content

Chrome extensions

Javascript bookmarklets

Javascript userscripts



Chrome extensions

Here is a list of my extensions for google chrome.

Alias bookmarks

Set aliases for your bookmarks. Aliases are called from the omnibox: "/ aliasName [params]" and from the popup (ctrl+.)

This extension mimics the ability of Firefox and mozilla based browsers to use aliases as a shortcut to call specific bookmarks.

It allows you to set alias/shortcut for your URL or javascript bookmarklets or folders, directly in the bookmark manager. You can then call an alias from chrome's omnibox or from the extension's popup window (keyboard shortcut: "ctrl+.").
Simple "http(s)" bookmarks as well as javascript bookmarklets can be called with or without parameters.
If it works as a bookmark, it works as an alias.

Since your aliases are stored with your bookmarks, exporting or transfering them also tranfers the aliases.

Starting with version 0.9.6.15, folder alias is available. It can be used to open static pages, or to make a group search on multiple search sites (examples provided).

Version 0.9.8 introduces auto-completion in popup window (see options page to enable).

Direct link to chrome web store

Extension log

Logs when an extension is installed, uninstalled, upgraded, enabled or disabled. Also keeps track of each chrome update.

Keep track of all your old extensions, as well as current and past states of the extensions still installed.
"Extension log" logs when an extension is installed, uninstalled, upgraded, enabled or disabled.

View all these informations in a table sorted by name, state (enabled, disabled, uninstalled), extension type, or id. With a list of events associated with each extension ever installed (as long as "Extension log" is always enabled).

Aside from its main purpose, "Extension log" records a log of the date and version of every chrome update.

You can save the whole log history, in case of crash. Right click the extension icon and select "Export log" (save the whole page or one of the textareas). No restore function available yet, but you can access the stored values manually from the background page's javascript console (and update from there if necessary).

EL allows you to save extensions packages in its original format or as a zip file.


2018-12-31: (0.5.6)
Badge used to warn user when an event occurs: now fully functional.
You can now import options, and chrome version history from a backup. Import of events is still in beta.

2018-09-12: (0.5)
Extension packages can be saved as CRX and/or ZIP files.
The list of current permissions for all extensions is displayed in the tooltip of their version number.

2018-09-04: (0.4.11)
Added support to download CRX packages.

2018-08-22: (0.4.10.1)
Some minor fixes and layout improvements.

2018-07: (0.4.9.8)
Stable version. Still missing import data feature. Almost done but development halted at least for several weeks. Sorry.

2018-06-19: (0.4)
Still in beta, but shouldn't crash.

Direct link to chrome web store

Tiny Proxy

A small footprint proxy extension. Allows simple and complex settings. Quick and easy to switch between proxies.

Tiny proxy allows you to manage multiple proxy servers, and to change easily between them.

Note: This extension is a work in progress (as of june 2019). Your input is welcome.

You can specify a set of rules to select which websites are proxied, or not, by your different servers.
The current proxy settings are defined by Tiny Proxy as PAC scripts.

TP implements the following types of proxies:

TP allows you to add temporary proxy rules (see popup). This way you can combine multiples proxy profiles.

Note that you have to select which proxies appear in the popup list. In the settings window, check the box next to their name.


TP does not support proxy authentication yet. Need volunteers to test...

2019-07-04 (0.4.3.3): bug fixes, including failure with servers with per-protocol additional servers
2019-07-02 (0.4.3): added online help page
2019-06-25 (0.4.2): added: draggability to proxies list in "switch" and "pool".

Direct link to chrome web store

Online help is available here.

Javascript bookmarklets

View list of images used by the current page

This bookmarklet is based on one of Jesse's Bookmarklets. It is a modified and more complete version of "list alts" in the "Validation Bookmarklets" category. (the list of the many enhancements is not available yet)

This bookmarklet lists all images used in <img> tags and in css styles. It also tries to list alternate versions of images as provided in srcset attributes.
It shows them in a list, limiting their maximum size to avoid overflowing the display. Simply click an image to open it in its own tab.

The source is in this link(*). Current version (beta): 20181031
Click on the link to display the list of images used in this page.

(*) drag & drop on your bookmark bar to add the link to your bookmarks.

IMDb - enlarge images in cast listing (x2)

This bookmarklet increases the size of all images in the cast list on IMDb. It doubles the width/height and replaces the current image with an image of the appropriate dimensions. Can be applied multiple times if x2 is not enough.

The source is in this link(*). Current version: 20181025

(*) drag & drop on your bookmark bar to add the link to your bookmarks.

Javascript userscripts

GitHub - add links to sort by most recently updated

A link "(r)" is added in the two tabs "Issues" and "PR'. It is used as a single click shortcut to the corresponding listing sorted by "Recently updated".

GitHub tabs

The script has its own GitHub page.