add missing files

tzh

2024-08-22 c7d0944258c7d0943aa7b2211498fd612971ce27

1
2
3
4
5
6
7
8
9
10
11
#!/bin/bash
 
# Just in case realpath doesn't exist, try a perl approach.
function get_real_path()
{
  if realpath $0 &> /dev/null; then
    realpath $0
    return
  fi
  perl -e 'use Cwd "abs_path";print abs_path(shift)' $0
}