diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2019-03-25 14:45:47 +0000 |
|---|---|---|
| committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2019-03-25 14:45:47 +0000 |
| commit | 7d1d6f88fb28630cc581ea41c487b2b0c0da269f (patch) | |
| tree | 3230a14c18d1e1399ddc24bda09f9769503a6911 /.file-metadata | |
| parent | 8748d3e93fbe60511912fbe6ac424a6d6352de4f (diff) | |
Corrected makelink command to avoid paste command
We just noticed that recently the `paste' command on macOS doesn't work
with a pipe. So we are now simply using the `tr' command in reverse to
re-create the PATH (to find where to link to).
Diffstat (limited to '.file-metadata')
| -rw-r--r-- | .file-metadata | bin | 3927 -> 4510 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex 5a4f942..7ca2f2d 100644 --- a/.file-metadata +++ b/.file-metadata |