Nicolas Hoizey nhoizey

Chrome

Disable touch history back/forward

defaults write com.google.Chrome AppleEnableSwipeNavigateWithScrolls -bool FALSE

Save My Tabs is a great Firefox extension, because Firefox is great, but crashes a lot (at least mine, with hundreds of tabs).

Unfortunately, Save My Tabs doesn't have any restoration function, so you can copy/paste all URLs yourself, or try this script.

This simple Shell script for Mac OS X will launch Firefox with all URLs present in the backup file you pass as parameter:

./restore-savemytabs.sh opentabs--20160913-1900.txt

ATTENTION, les articles sont supposés être des redirections vers les nouvelles URL des contenus dans cette version du squelette. Modifiez le contenu de <link> si ce n'est pas le cas.

Déposer les deux squelettes à la racine et appeler la page /?page=disqus-export

This pagination liquid code is an extract of the public repository from http://nicolas-hoizey.com/, where you can see it in action.

Keybase proof

I hereby claim:

I am nhoizey on github.
I am nhoizey (https://keybase.io/nhoizey) on keybase.
I have a public key whose fingerprint is C944 E2B5 8F97 6F74 A20B B47B 8124 747F 1FA5 3AFE

To claim this, I am signing this object:

Code de gestion des ascenseurs pour le projet elevato.rs d'@oncletom.

Réalisé au cours d'un atelier à Paris Web 2014 par @Nazcange, @Nico3333fr et @nhoizey.

Run download-nightly.sh to download the nightly build of Firefox OS for the Geeksphone Keon.

A Node.js script that generates an HTML file from your Firefox open tabs. Useful when Firefox crashes upon restoration.

Copy the sessionstore.js file from your Firefox profile
Run node ./extractsession.js > session-`date +"%Y%m%d-%H%M"`.html to generate an HTML file with a list links for every open tab

Thanks to @clochix for the initial script.

 // get device pixel ratio in dppx
 // https://github.com/ryanve/res/blob/master/src/index.js
 var screen_density =
   typeof window == 'undefined'
     ? 0
     : +window.devicePixelRatio ||
       Math.sqrt(screen.deviceXDPI * screen.deviceYDPI) / 96 ||
 // keep only 3 decimals: http://jsfiddle.net/AsRqx/
 screen_density = +(Math.round(screen_density + 'e+3') + 'e-3')

	/* ********************************************************************
	* Some variables
	* ********************************************************************/
	/* ********************************************************************
	* Mandatory font face
	* ********************************************************************/
	@font-face {
	font-family: "SansitaOneRegular";
	src: url("font/sansitaone-webfont.woff2") format("woff2"), url("font/sansitaone-webfont.woff") format("woff");
	font-weight: normal;