Rendez-vous sur Arrakis

C'est lorsque nous croyons savoir quelque chose qu'il faut justement réfléchir un peu plus profondément. F. Herbert

Surf avec des onglets.

Pour utiliser sur avec des onglets comme sur la capture d'écran, on va utiliser tabbed.

On le compile comme d'habitude : make && make install.

Maintenant, voici comment l'utiliser :

Pour que les raccourcis ctrl-chiffre fonctionnent, il faudra modifier le code des touches dans le config.h. À la place des chiffres, mettre:

Mettre

{ MODKEY,                       XK_ampersand,      move,           { .i = 0 } },
{ MODKEY,                       XK_eacute,      move,           { .i = 1 } },
{ MODKEY,                       XK_quotedbl,      move,           { .i = 2 } },
{ MODKEY,                       XK_apostrophe,      move,           { .i = 3 } },
{ MODKEY,                       XK_parenleft,      move,           { .i = 4 } },
{ MODKEY,                       XK_minus,      move,           { .i = 5 } },
{ MODKEY,                       XK_egrave,      move,           { .i = 6 } },
{ MODKEY,                       XK_underscore,      move,           { .i = 7 } },
{ MODKEY,                       XK_ccedilla,      move,           { .i = 8 } },
{ MODKEY,                       XK_agrave,      move,           { .i = 9 } },

Un script utile est fourni avec les sources de surf : surf-open.sh . Il permet d'ouvrir une url dans un nouvel onglet, comme se comporte firefox.

Ce script, le voici

#!/bin/sh
#
# See the LICENSE file for copyright and license details.
#
xidfile="$HOME/tmp/tabbed-surf.xid"
uri=""
if [ "$#" -gt 0 ];
then
    uri="$1"
fi
runtabbed() {
    tabbed -dn tabbed-surf -r 2 surf -e '' "$uri" >"$xidfile" \
        2>/dev/null &
}
if [ ! -r "$xidfile" ];
then
    runtabbed
else
    xid=$(cat "$xidfile")
    xprop -id "$xid" >/dev/null 2>&1
    if [ $? -gt 0 ];
    then
        runtabbed
    else
        surf -e "$xid" "$uri" >/dev/null 2>&1 &
    fi
fi

J'en avait fait un auparavant, l'ai adapté avec surf-open.sh, et il se trouve qu'il permette aussi de gérer une page d'accueil :

#!/bin/sh
#
# See the LICENSE file for copyright and license details.
#
export http_proxy="http://127.0.0.1:8123"
xidfile="/tmp/tabbed-surf.xid"
uri="fr.wikipedia.org"
if [ "$#" -gt 0 ];
then
    uri="$1"
fi
runtabbed() {
    tabbed -dn tabbed-surf -r 2 surf -e '' "$uri" >"$xidfile" \
        2>/dev/null &
}
if [ ! -r "$xidfile" ];
then
    runtabbed
else
    xid=$(cat "$xidfile")
    xprop -id "$xid" 2>&1 >/dev/null
    if [ $? -gt 0 ];
    then
        runtabbed
    else
        surf -e "$xid" "$uri" 2>&1 >/dev/null &
    fi
fi

Afin de faire de surf+tabbed votre navigateur par défaut, voici la commande à lancer sous debian :

update-alternatives --install /usr/bin/x-www-browser x-www-browser /chemin/vers/le/script/surf_onglet.sh 90