diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-08-05 12:38:53 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-08-05 12:41:01 -0400 |
| commit | a38abd4c8fb7572237b2681bb1d0d6b0e5b262b0 (patch) | |
| tree | f64b09eb5c1c0e1e84f15d0bf0e33cbd9247671a /.bash_profile | |
| parent | c325c7b9af87f88a177b3a816828d269558836a2 (diff) | |
| download | configs-a38abd4c8fb7572237b2681bb1d0d6b0e5b262b0.tar.gz configs-a38abd4c8fb7572237b2681bb1d0d6b0e5b262b0.tar.xz configs-a38abd4c8fb7572237b2681bb1d0d6b0e5b262b0.zip | |
bash: adapt config for guix system
Diffstat (limited to '')
| -rw-r--r-- | .bash_profile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.bash_profile b/.bash_profile new file mode 100644 index 0000000..61cb5cf --- /dev/null +++ b/.bash_profile @@ -0,0 +1 @@ +if [ -f "$HOME/.profile" ]; then . "$HOME/.profile"; fi |