[ Update 2020-05-31: I won't be maintaining this page or responding to comments anymore (except for perhaps a few exceptional occasions). ]
Most of the terminal emulators auto-detect when a URL appears onscreen and allow to conveniently open them (e.g. via Ctrl+click or Cmd+click, or the right click menu).
It was, however, not possible until now for arbitrary text to point to URLs, just as on webpages.
| /* Add this line to bookmarks and use when you see | |
| * "Oops! You've got a lot of code in this diff and it couldn't load with the page." | |
| * on a pull request at Bitbucket. | |
| */ | |
| javascript:(function(){[].forEach.call(document.querySelectorAll(".load-diff"),function(a){a.click()})})(); |
This gist is about:
Mainly:
function cannot (should not) be used when side-effects occur
Our Virtual Machines are provisioned using Vagrant from a Linux base box to run using VirutalBox. If the Hard Disk space runs out and you cannot remove files to free-up space, you can resize the Hard Disk using some VirtualBox and Linux commands.
The following steps assume you've got a set-up like mine, where:
| <?php # -*- coding: utf-8 -*- | |
| // function remove_accents() | |
| /** | |
| * Unaccent the input string string. An example string like `ÀØėÿᾜὨζὅБю` | |
| * will be translated to `AOeyIOzoBY`. More complete than : | |
| * strtr( (string)$str, | |
| * "ÀÁÂÃÄÅàáâãäåÒÓÔÕÖØòóôõöøÈÉÊËèéêëÇçÌÍÎÏìíîïÙÚÛÜùúûüÿÑñ", | |
| * "aaaaaaaaaaaaooooooooooooeeeeeeeecciiiiiiiiuuuuuuuuynn" ); | |
| * |