Skip to content

Instantly share code, notes, and snippets.

View pilot22's full-sized avatar
🏠
Working from home

Louis pilot22

🏠
Working from home
  • Efrei Paris
  • France
  • 23:13 (UTC +02:00)
View GitHub Profile
@pilot22
pilot22 / .bashrc
Created July 14, 2020 13:13
Linux bashrc profile
# ~/.bashrc: executed by bash(1) for non-login shells.
# see /usr/share/doc/bash/examples/startup-files (in the package bash-doc)
# for examples
# If not running interactively, don't do anything
[ -z "$PS1" ] && return
# don't put duplicate lines in the history. See bash(1) for more options
# ... or force ignoredups and ignorespace
HISTCONTROL=ignoredups:ignorespace