info command

This commit is contained in:
Antonin Portelli 2022-03-28 00:07:43 +01:00
parent 5707dc659a
commit d8d23ab2ff
2 changed files with 50 additions and 0 deletions

View File

@ -111,6 +111,18 @@ miria_xml_get_string() {
echo "${xml}" | xmllint --xpath "string(${xpath})" -
}
#######################################
# Get XML string(s) from last answer
#
# Arguments:
# XPath of string
#######################################
miria_last_get_string() {
local xpath="$1"
miria_xml_get_string "${miria_last_xml}" "//${xpath}"
}
#######################################
# Get XML attribute value(s)
#

38
miria-info Executable file
View File

@ -0,0 +1,38 @@
################################################################################
# Copyright 2022 Antonin Portelli
#
# This file is part of miria-cli.
#
# miria-cli is free software: you can redistribute it and/or modify it under
# the terms of the GNU General Public License as published by the Free Software
# Foundation, either version 3 of the License, or (at your option) any
# later version.
#
# miria-cli is distributed in the hope that it will be useful, but WITHOUT ANY
# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
# FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License along with
# miria-cli. If not, see <https://www.gnu.org/licenses/>.
################################################################################
#!/usr/bin/env bash
set -uoe pipefail
script_dir=$(dirname $(readlink -f $0))
source ${script_dir}/functions.sh
hash="$(cd ${script_dir}; git rev-parse --short HEAD)"
branch="$(cd ${script_dir}; git rev-parse --abbrev-ref HEAD)"
status="$(git diff --quiet || echo '(dirty)')"
miria_get_url
echo "Miria CLI ${branch}@${hash} ${status}"
echo 'Copyright 2022 Antonin Portelli'
echo 'GNU General Public License v3'
echo ''
echo '-- Server info -------------'
miria_api_cmd getServerInfo
printf '%s:%s\n' "$(miria_last_get_string '//SERVER_NAME')" \
"$(miria_last_get_string '//SERVER_PORT')"
miria_last_get_string '//TPE'
miria_last_get_string '//ADA'
echo '----------------------------'