08 février 2019
_année_2019 _mois_févr. interface linux plugin python terminal
pindexis/marker: The terminal command palette
C’est un outil assez chouette pour rendre le terminal presque humain.