Merge 5ad7190eb088caccffb3be7b0d09abaf0d8f3869 into db06cd73bd7aed24da05686144a4732afc069243

This commit is contained in:
Julio Poveda 2020-05-14 04:22:32 +00:00 committed by GitHub
commit 09d6e6e75f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,6 +1,6 @@
#!/usr/bin/env bash
base_path=$(dirname "$(readlink -f "${0}")")
base_path=$(dirname "$(greadlink -f "${0}")")
################################################################################
# set app_file