diff options
| author | Paul Buetow <paul@buetow.org> | 2011-06-12 10:20:51 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2011-06-12 10:20:51 +0000 |
| commit | 95ecbb293d91643a3711111407e050c2fdd3f94b (patch) | |
| tree | 4e4d2c352c316571876222eeb44751fb1ca089a5 | |
| parent | 090a4035a2d9a3fa743b5b9129025c8b5db544fa (diff) | |
Bash golfing
| -rwxr-xr-x | pwgrep.sh | 5 |
1 files changed, 1 insertions, 4 deletions
@@ -38,10 +38,7 @@ DEFAULTFILESTORECATEGORY=default # From here, do not change stuff! You may edit the content of the file $RCFILE! function source_config () { - if [ -f $RCFILE ]; then - $SED 's/^/export /' $RCFILE > $RCFILE.source - source $RCFILE.source && rm $RCFILE.source - fi + [ -f $RCFILE ] && source <($SED 's/^/export /' $RCFILE) } function pwgrep_version () { |
