diff options
author | Yves Fischer <yvesf+git@xapek.org> | 2017-03-01 21:27:06 +0000 |
---|---|---|
committer | Yves Fischer <yvesf+git@xapek.org> | 2017-03-01 21:28:55 +0000 |
commit | 7579ce9e26740725708d48f9911d9711814767e3 (patch) | |
tree | 0954f786cde374c2e15d3eef9f4e2a8c26c47d4b | |
parent | cb6fa05c1e44fa39838d86919a6c2d72a94653d9 (diff) | |
download | git-repo-7579ce9e26740725708d48f9911d9711814767e3.tar.gz git-repo-7579ce9e26740725708d48f9911d9711814767e3.zip |
Adapt for Linux
-rwxr-xr-x | git-repo | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -25,7 +25,7 @@ do_list() { echo -n "Working.. listing repositories under $root_path" for repo_path in $(_list_repo_dirs $root_path | sort); do echo -ne "\r" # to remove working - eval $(stat -f 'local repo_path_uid=%u repo_path_gid=%g repo_path_mode=%Lp' "$repo_path") + eval $(stat --format 'local repo_path_uid=%u repo_path_gid=%g repo_path_mode=%a' "$repo_path") if [ "$repo_path_uid" != "$UID" ]; then # so there must be a matching gid local pass=false @@ -119,10 +119,10 @@ do_show() { continue fi - local repo_file_mode=$(stat -f %Lp "$repo_path") - local repo_file_uid=$(stat -f %u "$repo_path") + local repo_file_mode=$(stat --format %a "$repo_path") + local repo_file_uid=$(stat --format %u "$repo_path") local repo_file_user=$(_getent passwd $repo_file_uid) - local repo_file_gid=$(stat -f %g "$repo_path") + local repo_file_gid=$(stat --format %g "$repo_path") local repo_file_group=$(_getent group $repo_file_gid) local repo_git_shared=$(GIT_DIR="$repo_path" git config --get core.sharedrepository) |