Skip to content

Instantly share code, notes, and snippets.

View alternative-rvb's full-sized avatar
😃

Nicolas Malet alternative-rvb

😃
View GitHub Profile
@alternative-rvb
alternative-rvb / .bashrc
Last active March 19, 2022 20:16
Custom WSL1 Bashrc script to display git branch name
## Git prompt
force_color_prompt=yes
color_prompt=yes
parse_git_branch() {
git branch 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/(\1)/'
}
parse_tty_bg(){
# $1 will be replace by \l (tty number)
tty_number=$(sed 's/tty//' <<< $1)
if [ "$tty_number" -lt 7 ]; then
@alternative-rvb
alternative-rvb / .bashrc
Last active April 19, 2021 20:31
Custom WSL2 Bashrc script to display git branch name
if [ -d "$HOME/bin" ] ; then
PATH="$HOME/bin:$PATH"
else
mkdir ~/bin
PATH="$HOME/bin:$PATH"
fi
force_color_prompt=yes
color_prompt=yes
parse_git_branch() {
@alternative-rvb
alternative-rvb / .bashrc
Last active February 13, 2021 23:08
Set PATH in order to include user's private bin
# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
PATH="$HOME/bin:$PATH"
else
mkdir ~/bin
PATH="$HOME/bin:$PATH"
fi
@alternative-rvb
alternative-rvb / .vimrc
Last active February 12, 2021 20:48
Vim: options
set background=dark
set number
syntax on
set tabstop=2
set shiftwidth=2
set smartindent
set autoindent
set showcmd
set hls
inoremap ( ()<left>
@alternative-rvb
alternative-rvb / settings.json
Last active February 5, 2021 21:16
Préférences de Windows Terminal
{
"guid": "{...}",
"hidden": false,
"name": "Ubuntu 20.04 LTS",
"source": "Windows.Terminal.Wsl",
"fontFace": "UbuntuMono Nerd Font Mono",
"fontSize": 14,
"suppressApplicationTitle": true,
"icon": "C:\\Users\\nicol\\OneDrive\\Images\\ubuntu.png",
"theme": "system",
// Use IntelliSense to learn about possible attributes.
// Hover to view descriptions of existing attributes.
// For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
// Debugger attach to chrome
"version": "0.2.0",
"configurations": [
{
"name": "Attach to Chrome",
"port": 9222,
"request": "attach",
@alternative-rvb
alternative-rvb / .bashrc
Last active August 12, 2020 20:22
Ubuntu : Afficher le nom de la branche git sur votre terminal
# Show git branch name
force_color_prompt=yes
color_prompt=yes
parse_git_branch() {
git branch 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/(\1)/'
}
if [ "$color_prompt" = yes ]; then
PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[01;31m\] $(parse_git_branch)\[\033[00m\]\n\$ '
else
PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w$ (parse_git_branch)\$ '
@alternative-rvb
alternative-rvb / .bashrc
Last active May 30, 2020 16:28
Bash: Personaliser le prompt en couleurs
## config de base
# export PS1='\u@\H:\w\$ '
## Les codes couleurs sont entre crochets
## DEBIAN :
export PS1='\[\033[02;32m\]\u@\H:\[\033[02;34m\]\w\$\[\033[00m\]\ '
## CENTOS :
# export PS1='\[\033[31m\][\u@\H\[\033[34m\] \w \[\033[31m\]]\[\033[31m\]\$\[\033[00m\] '
@alternative-rvb
alternative-rvb / config
Last active May 30, 2020 16:27
BASH - SSH - CONFIG
# Insert in ~/.ssh/config
Host <name>
HostName <host>
User <username>
Port <22>
# redirect http -> https
RewriteEngine On
RewriteCond %{HTTPS} off
RewriteRule (.*) https://%{HTTP_HOST}%{REQUEST_URI} [R,L]