2013-04-24 16:58:31 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
2024-06-19 11:19:05 +02:00
|
|
|
if [ -f "$HOME"/.bash/profile ]; then source "$HOME"/.bash/profile; fi
|
|
|
|
if [ -d "$HOME"/.bash/profile ]; then for file in "$HOME"/.bash/profile/*; do source "$file"; done; fi
|
|
|
|
if [ -d "$HOME"/.bash/profile.d ]; then for file in "$HOME"/.bash/profile.d/*; do source "$file"; done; fi
|
2013-04-24 16:58:31 +02:00
|
|
|
|
|
|
|
# This file is sourced by bash for login shells. The following line
|
|
|
|
# runs your .bashrc and is recommended by the bash info pages.
|
|
|
|
[[ -f ~/.bashrc ]] && . ~/.bashrc
|