Powerline : Pour un terminal plus sympa et pratique

====Installation====

apt install python-pip
pip install powerline-status
apt install fonts-powerline

====Configuration dans .bashrc====

# Powerline
if [ -f `which powerline-daemon` ]; then
powerline-daemon -q
POWERLINE_BASH_CONTINUATION=1
POWERLINE_BASH_SELECT=1
fi

if [ -f /usr/local/lib/python2.7/dist-packages/powerline/bindings/bash/powerline.sh ]; then
source /usr/local/lib/python2.7/dist-packages/powerline/bindings/bash/powerline.sh
fi

====Lien====

Voici la doc

Serveur Web derrière une Freebox Révolution

Avoir son propre serveur web

Contexte

Changement de FAI et arrivée d’une Freebox Révolution : Pas de redirection des ports 80 et 443 possible… La cause : Je n’étais pas en Full Stack IPv4. Le manque d’adresse fait user d’astuces les FAI.

Solution

Demander à avoir une IPv4 full Stack via son https://subscribe.free.fr/login/

Conclusion

Cet article est court mais que de tests, astuces cherchées pour user de ports non « classiques » pour faire rouler mon serveur web… Cela alors que la solution semble trivial mais n’est pas « mise en avant » car je pense qu’un client en IPv4 « partagé » coûte moins cher. On peut comprendre.

Social network

Tentative de réduction de mon filo-guidage numérique : 
  • J’ai résilié Facebook en 2018
  • Suppression de Twitter et WhatsApp en 2021. 🙂 -> Réactivation de WhatApp pour groupe de discussion déjà constitué…  :-((
  • Depuis fin 2023, google n’est plus utilisé pour quelconque authentification et effacement de toutes données possibles… Objectif de suppression de mon compte google en 2024.
Références / liens :

Beaucoup reste à faire :

Liste non exhaustive des « outils » encore utilisés…
  • gboard sur mon téléphone portable
  • Google keep
  • Youtube mais sans quelconque propositions/historiques
D’autres outils/visions possibles :