orgmode-to-gemini-blog/gemini-capsules/non_trié/20150702150433_cipherbliss_blog_24_le-bash-de-vos-rves.gmi
2024-11-08 17:40:06 +01:00

34 lines
2.1 KiB
Plaintext

# le bash de vos rêves
on peut personnaliser son bash ultrafacilement grâce a ce merveilleux site, bashrcgenerator:
=> https://bashrcgenerator.com/ https://bashrcgenerator.com/
glissez déposez les éléments, cliquez sur un élément pour choisir sa couleur, et hop vous avez le code a rajouter dans votre .bashrc pour mettre de la couleur dans votre console.Essayez donc de mettre cette commande d'export à la fin de votre .bashrc, et de relancer bash.`$ nano ~/.bashrc`{.bash}`# titre du terminal personnaliséPROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"'# prompt personnaliséexport PS1="\[\033[38;5;214m\]\T\[$(tput sgr0)\]\[\033[38;5;15m\] \[$(tput sgr0)\]\[\033[38;5;192m\]\u\[$(tput sgr0)\]\[\033[38;5;42m\]@\[$(tput sgr0)\]\[\033[38;5;84m\]\h\[$(tput sgr0)\]\[\033[38;5;70m\]:\[$(tput sgr0)\]\[\033[38;5;6m\]\w\[$(tput sgr0)\]\[\033[38;5;15m\] \[$(tput sgr0)\]"`{.bash}on enregistre avec ctrl +o, on sort avec ctrl + x. et hop!`$ bash`{.bash}et vouala:
> ::: {#preview}
> [02:23:52]{style="color:#ffaf00; background-color:transparent; "}[tykay]{style="color:#d7ff87; background-color:transparent; "}[@]{style="color:#00d787; background-color:transparent; "}[mycomputer]{style="color:#5fff87; background-color:transparent; "}[:]{style="color:#5faf00; background-color:transparent; "}[/usr/local/src]{style="color:#55ffff; background-color:transparent; "}
>
> Arpès, si vous êtes des fifous, vous pouvez aussi
> blinder votre prompt en lui rajoutant des infos du dépôt git dans
> lequel vous vous trouvez.
> # Métadonnées
>
>
>
> :PROPERTIES: :ID:
> 971a1fce-633e-49b5-a90b-21d1eb20250a
> :END: #+title:
> le-bash-de-vos-rves #+post_ID:
> 211 #+post_slug:
> le-bash-de-vos-rves #+post_url:
=> https://www.ciperbliss.com/2015/le-bash-de-vos-rves
> #+post_title: le bash de vos rêves #+post_type:
> post #+post_mime_types:
> #+post_guid: #+post_status:
> publish #+post_date_published: <2015-07-02
> 15:04:33> #+post_date_modified: <2015-11-08
> 15:13:04> #+post_index_page_roam_id:
> [[id:eb3564de-713d-46a7-b69f-dc25e6cc2093][undefined]]
> #+retrieved_from_db_at: <2024-11-07 22:21:40>
>
> :::