Visual Sudio Code et Powerline

Si vous avez suivi mon petit article sur la configuration de tmux/ohmyzsh/powerline vous avez maintenant un super terminal de champion.

Seul souci vous avez aussi un éditeur de code de champion, Visual Studio Code, et si vous ne l’avez pas encore installé je vous encourage vraiment à le faire dès maintenant.

Une petite liste des avantages proposés par VScode :

  • Support for debugging,
  • Embedded Git control and GitHub
  • Syntax highlighting
  • Intelligent code completion
  • Snippets
  • Code refactoring.

Il y en a bien d’autres mais déjà cette liste devrait vous convaincre d’au moins faire un essai …

L’un des autres avantage est d’embarquer dans le logiciel un terminal, qui prendra par défaut votre shell configuré sur le système et c’est là que le problème survient si vous avez configuré ohmyszh et le thème agnoster …

Problème de police pas compatible avec powerline

Il va falloir installer et configurer une police d’écriture compatible avec Powerline

git clone https://github.com/abertsch/Menlo-for-Powerline.git
cd Menlo-for-Powerline/
sudo mv "Menlo for Powerline.ttf" /usr/share/fonts/
sudo fc-cache -vf /usr/share/fonts/
cd ..
rm -rf Menlo-for-Powerline/

Configurer la police dans VScode dans File > Preferences > Settings chercher terminal font

Menlo for Powerline

Redémarrer VScode et vous devriez vous retrouver avec un joli terminal

Et voilà le travail

Ubuntu 20.04 Focal Fossa

Salut à tous,

Ubuntu vient de publier sa nouvelle version LTS il y a quelques jours, et comme je suis un petit curieux j’ai décidé d’installer cette version sur mon laptop de travail.

Pour le moment je dois avouer que je suis agréablement surpris par l’ensemble des changements qui ont été apportés.

Le Dark mode fait enfin son apparition, le fractional scaling du bureau pour ceux qui comme moi utilise un dual Screen en 4k par exemple (cela permet de configurer le niveau de zoom de votre desktop différemment par écrans) ou encore la navigation facilitée en ALT + TAB.

Je découvre encore de nouvelles choses chaque jour au fur et à mesure de mon utilisation, certes les changements ne sont pas flagrants mais ils corrigent à chaque fois quelque chose qui m’ennuyais quand je travaillais sous la 18.04.

J’ai dû faire quelques adaptations cependant : par exemple comme je vous parlais ici de mon nouveau terminal une petite adaptation est de mise pour cet article. Par défaut python est installé désormais en version 3 donc certaines choses vont être différentes pour l’installation de Powerline :

sudo apt install python3-pip
pip3 install powerline-status

Et il va falloir adapter les fichiers de configuration en conséquence

###########################
### Configuration ########
###########################
# Set zsh as default sheel for tmux
set-option -g default-shell /bin/zsh
# Powerline statusbar support
source "/home/cpiveteau/.local/lib/python3.8/site-packages/powerline/bindings/tmux/powerline.conf"
run-shell "powerline-daemon -q"
set -g default-terminal "screen-256color"
# Enable Mouse support
set -g mouse on
view raw .tmux.conf hosted with ❤ by GitHub
. ~/.local/lib/python3.8/site-packages/powerline/bindings/bash/powerline.sh
view raw .bashrc hosted with ❤ by GitHub
set rtp+=/home/cpiveteau/.local/lib/python3.8/site-packages/powerline/bindings/vim
set laststatus=2
set t_Co=256
view raw .vimrc hosted with ❤ by GitHub
Et voilà le travail !

ohmyzsh + tmux + powerline : un terminal pour les gouverner tous

Voilà maintenant près d’un an que ma machine de travail tourne sous Ubuntu 18.04, principalement pour la compatibilité avec les outils tel qu’Ansible ou Vagrant par exemple … Après pas mal de recherches sur les différents terminaux disponibles (hyper, terminus, kitty, terminator et j’en passe) je n’ai jamais réellement trouvé mon bonheur.

Jusqu’à ce que je tombe sur une vidéo de cocadmin sur tmux les fonctions disponibles dans ce multiplexeur me rappelle immédiatement iTerm2 que j’ai l’habitude d’utiliser sur mon Macbook. Après quelques heures de recherche et d’installation je suis passé de ça :

Ok Boomer !

à ça :

Welcome to the real world …

Alors si vous voulez vous aussi avoir un terminal sympa à regarder et surtout super utile à ouvrir tous les matins, suivez le guide.

Continuer à lire … « ohmyzsh + tmux + powerline : un terminal pour les gouverner tous »

Récupération Data Free Space dans table mysql

Il arrive parfois de devoir ajouter ou supprimer une grande quantité de données dans une table, ce qui a pour effet de libéré de l’espace disque, mais, dans le cas de mysql l’espace réservé dans la base de donnée n’est pas libéré pour le système d’exploitation.

La situation est d’ailleurs identique pour une base SQL Server, il faudra utiliser de la commande DBCCSHRINK afin de libérer l’espace d’une BDD vers l’OS.

Il y a peu de temps un des serveurs mysql de ma société s’est retrouvé à cours d’espace disque dans la nuit (gros import de données surprise) et donc service mysql HS, je vais présenter ici les quelques étapes qui m’ont permis de résoudre le problème.

Continuer à lire … « Récupération Data Free Space dans table mysql »

Génération de clés ssh sous Windows et Accès vps Linux

Voici quelques infos pour créer un jeu de clés ssh afin de sécuriser l’accès à un serveur Linux vps / dédié. Cette méthode de connexion Permet de sécuriser l’authentification à votre serveur elle sera à privilégier pour augmenter la sécurité et la facilité de gestion de vos vps.

La génération de ce jeu de clés permet d’obtenir, une clé privée, que vous conserverez de votre côté sur votre machine de travail et une clé publique, qui sera mise en place pour authentifier votre utilisateur sur votre serveur vps.

Une fois les clés en place nous désactiverons la possibilité de se connecter en root & l’authentification par login / mot de passe. Attention ! Une fois configuré le seul moyen de récupérer une connexion root sera de passer par la console de rescue de votre hébergeur il faudra donc veillez à avoir ces accès au préalable.

La génération de ce type de clé permet aussi l’accès et l’utilisation des services tel que Bitbucket, DockerHub ou Github par exemple.

Continuer à lire … « Génération de clés ssh sous Windows et Accès vps Linux »

Linux : ajout d’espace disque à chaud dans LVM sur Machine Virtuelle

Il y a peu de temps un de mes serveurs mySQL s’est retrouvé avec un manque d’espace sur le système LVM (Volume Logique Linux), le symptôme est assez flagrant, le service mySQL est HS et refuse de redémarrer.


2019-02-22T07:57:03.351896Z 0 [Note] InnoDB: Setting file './ibtmp1' size to 12 MB. Physically writing the file full; Please wait ...
2019-02-22T07:57:03.357354Z 0 [Warning] InnoDB: 1048576 bytes should have been written. Only 663552 bytes written. Retrying for the remaining bytes.
2019-02-22T07:57:2019-02-22T07:57:03.862606Z 0 [Note] InnoDB: Removed temporary tablespace data file: "ibtmp1"
2019-02-22T07:57:03.862660Z 0 [ERROR] Plugin 'InnoDB' init function returned error.
2019-02-22T07:57:03.862671Z 0 [ERROR] Plugin 'InnoDB' registration as a STORAGE ENGINE failed.
2019-02-22T07:57:03.862680Z 0 [ERROR] Failed to initialize plugins.
2019-02-22T07:57:03.862686Z 0 [ERROR] Aborting

Je me suis vite rendu compte dans les lignes 1 2 et 5 qu’il manque réellement de l’espace sur le système. J’ai donc dû faire de la place dans un premier temps (en supprimant de vieux backups) et redémarrer le service. Mais une fois le service redémarré il fallait régler le problème à la source : on manque de place sur la racine et il faut en rajouter « à chaud » car la prod est repartie.

Continuer à lire … « Linux : ajout d’espace disque à chaud dans LVM sur Machine Virtuelle »

Concevoir un site comme celui-ci avec WordPress.com
Commencer