diff options
-rwxr-xr-x | git-repo | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -49,6 +49,9 @@ do_list() { fi if [ $(( 0$repo_path_mode & 07 )) -gt 0 ]; then # public permissions="$permissions PUBLIC" + if ! [ -f "$repo_path/PUBLIC" ]; then + permissions="${permissions}-but-cgit-marker-file-missing" + fi color="$C_bg_magenta" fi printf "%s%-60s (%s) (%s)\n" "$color" "$repo_path$C_bg_default" "$permissions" "$shortdesc" |