Project

General

Profile

« Previous | Next » 

Revision 8699

added lib/local.run, which links to locally-available resources such as $bin_dir

View differences:

lib/local.run
1
#!/bin/bash -e
2
# links to locally-available resources
3
. "$(dirname "${BASH_SOURCE[0]}")"/util.run
4

  
5
root_dir="$(dirname "${BASH_SOURCE[0]}")"/..
6
bin_dir="$root_dir"/bin
0 7

  

Also available in: Unified diff