diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-03-12 16:52:44 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-03-12 16:52:44 -0500 |
| commit | 3d1e990c7f226c166eaffcd70766da105f17f5b4 (patch) | |
| tree | b4f6bb71cf62a3d0bf532b52845499c44c496c0c /libre/filesystem/profile | |
| parent | 9e8c1b3aba0410de3ee7f33230789f9b9369d32b (diff) | |
filesystem-2018.1-2.parabola1: updating version
Diffstat (limited to 'libre/filesystem/profile')
| -rw-r--r-- | libre/filesystem/profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libre/filesystem/profile b/libre/filesystem/profile index f92cf3f74..a4f717734 100644 --- a/libre/filesystem/profile +++ b/libre/filesystem/profile @@ -9,7 +9,7 @@ appendpath () { *:"$1":*) ;; *) - PATH="$PATH:$1" + PATH="${PATH:+$PATH:}$1" esac } |