From 44caf0b003b0b286a98acb41560b71fe02da8718 Mon Sep 17 00:00:00 2001 From: Adrien Bourmault Date: Tue, 10 Jan 2023 16:37:39 +0100 Subject: [PATCH] Ajout du home --- .bash_profile | 11 +++++ .bashrc | 76 ++++++++++++++++++++++++++++ home-configuration.scm | 110 +++++++++++++++++++++++++++++++++++++++++ 3 files changed, 197 insertions(+) create mode 100755 .bash_profile create mode 100755 .bashrc create mode 100644 home-configuration.scm diff --git a/.bash_profile b/.bash_profile new file mode 100755 index 0000000..483497c --- /dev/null +++ b/.bash_profile @@ -0,0 +1,11 @@ +# Set up the system, user profile, and related variables. +# /etc/profile will be sourced by bash automatically +# Set up the home environment profile. +if [ -f ~/.profile ]; then source ~/.profile; fi + +# Honor per-interactive-shell startup file +if [ -f ~/.bashrc ]; then source ~/.bashrc; fi +PS1='\u@\h \w${GUIX_ENVIRONMENT:+ [env]}\$ ' +# Honor per-interactive-shell startup file +if [ -f ~/.bashrc ]; then . ~/.bashrc; fi + diff --git a/.bashrc b/.bashrc new file mode 100755 index 0000000..96b9a18 --- /dev/null +++ b/.bashrc @@ -0,0 +1,76 @@ +alias dir="dir --color=auto" +alias egrep="egrep --color=auto" +alias fgrep="fgrep --color=auto" +alias grep="grep --color=auto" +alias l="ls -CF" +alias la="ls -A" +alias ll="ls -l" +alias ls="ls -p --color=auto" +alias vdir="vdir --color=auto" +# Bash initialization for interactive non-login shells and +# for remote shells (info "(bash) Bash Startup Files"). + +# Export 'SHELL' to child processes. Programs such as 'screen' +# honor it and otherwise use /bin/sh. +export SHELL + +if [[ $- != *i* ]] +then + # We are being invoked from a non-interactive shell. If this + # is an SSH session (as in "ssh host command"), source + # /etc/profile so we get PATH and other essential variables. + [[ -n "$SSH_CLIENT" ]] && source /etc/profile + + # Don't do anything else. + return +fi + +# Source the system-wide file. +[ -f /etc/bashrc ] && source /etc/bashrc + +alias ls='ls -p --color=auto' +alias ll='ls -l' +alias grep='grep --color=auto' +# Bash initialization for interactive non-login shells and +# for remote shells (info "(bash) Bash Startup Files"). + +# Export 'SHELL' to child processes. Programs such as 'screen' +# honor it and otherwise use /bin/sh. +export SHELL + +if [[ $- != *i* ]] +then + # We are being invoked from a non-interactive shell. If this + # is an SSH session (as in "ssh host command"), source + # /etc/profile so we get PATH and other essential variables. + [[ -n "$SSH_CLIENT" ]] && source /etc/profile + + # Don't do anything else. + return +fi + +# Source the system-wide file. +source /etc/bashrc + +# Adjust the prompt depending on whether we're in 'guix environment'. +if [ -n "$GUIX_ENVIRONMENT" ] +then + PS1='\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ [env]' +else + PS1='\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ ' +fi +alias ls='ls -p --color=auto' +alias ll='ls -l' +alias la='ls -A' +alias l='ls -CF' +alias dir='dir --color=auto' +alias vdir='vdir --color=auto' +alias grep='grep --color=auto' +alias fgrep='fgrep --color=auto' +alias egrep='egrep --color=auto' + +export GCC_COLORS='error=01;31:warning=01;35:note=01;36:caret=01;32:locus=01:quote=01' +export BSD_GAMES_DIR=~/.local/share/bsd-games +#export LIBRARY_PATH="$(gcc -print-search-dirs | grep bib | cut -d = -f 2):LIBRARY_PATH" +#export LD_LIBRARY_PATH=$LIBRARY_PATH + diff --git a/home-configuration.scm b/home-configuration.scm new file mode 100644 index 0000000..5925752 --- /dev/null +++ b/home-configuration.scm @@ -0,0 +1,110 @@ +;; Ce fichier « home-environment » peut être passé à « guix home reconfigure » pour reproduire +;; le contenu de votre profil. Son contenu est « symbolique » : il ne spécifie que les +;; noms des paquets. Pour reproduire exactement le même profil, vous devez aussi +;; retenir les canaux utilisés, ceux renvoyés par « guix describe ». +;; Voir la section « Répliquer Guix » dans le manuel. + +(use-modules (gnu home) + (gnu packages) + (gnu services) + (guix gexp) + (gnu home services shells)) + +(home-environment + ;; Ci-dessous se trouve la liste des paquets qui seront disponibles dans votre + ;; profil personnel, dans ~/.guix-home/profile. + (packages (specifications->packages (list "python-dbus" + "open-adventure@1" + "dino" + "gnome-tweaks" + "endeavour" + "0ad" + "gnome-builder" + "gajim" + "vlc" + "dosage" + "yt-dlp" + "ungoogled-chromium" + "musescore" + "virt-manager" + "transmission" + "cmake" + "git" + "qbittorrent" + "fastboot" + "libreoffice" + "ksirk" + "kbreakout" + "kapman" + "freeorion" + "abe" + "gajim-omemo" + "xonotic" + "supertuxkart" + "supertux" + "dconf-editor" + "youtube-dl" + "flatpak" + "mumble" + "minetest" + "ardour" + "icedove" + "inkscape" + "gimp" + "nextcloud-client" + "lm-sensors" + "seahorse" + "icecat" + "gnupg" + "speedtest-cli" + "bind:utils" + "openssh" + "python-axolotl" + "libgtop" + "python" + "gcc-toolchain" + "gnome-shell-extension-dash-to-dock" + "curl" + "htop" + "adb" + "bsd-games" + "font-openmoji" + "gnome-shell-extension-burn-my-windows" + "glibc-locales" + "pkg-config" + "isl" + "libtool" + "flex" + "bison" + "texinfo" + "autobuild" + "autogen" + "autoconf" + "automake" + "make" + "build" + "minicom" + "hello" + "gnome-shell-extension-transparent-window" + "gnome-shell-extension-blur-my-shell" + "bash-completion"))) + + ;; Voici la liste des services personnels. Pour trouver les services disponibles, + ;; lancez « guix home search MOT-CLÉ » dans un terminal. + (services + (list (service home-bash-service-type + (home-bash-configuration + (aliases '(("dir" . "dir --color=auto") + ("egrep" . "egrep --color=auto") + ("fgrep" . "fgrep --color=auto") + ("grep" . "grep --color=auto") + ("l" . "ls -CF") + ("la" . "ls -A") + ("ll" . "ls -l") + ("ls" . "ls -p --color=auto") + ("vdir" . "vdir --color=auto"))) + (bashrc (list (local-file "/home/neox/.config/guix/.bashrc" + "bashrc"))) + (bash-profile (list (local-file + "/home/neox/.config/guix/.bash_profile" + "bash_profile"))))))))