PortableLinuxGames/util.sh

33 lines
1.0 KiB
Bash
Raw Permalink Normal View History

2013-03-31 04:38:39 -07:00
#!/bin/sh
2013-04-14 05:05:22 -07:00
# Author : Ismael Barros² <ismael@barros2.org>
# License : BSD http://en.wikipedia.org/wiki/BSD_license
2013-03-17 16:38:03 -07:00
2013-12-15 13:01:39 -08:00
GOOD=$'\e[32;01m'
WARN=$'\e[33;01m'
BAD=$'\e[31;01m'
NORMAL=$'\e[0m'
HILITE=$'\e[36;01m'
BRACKET=$'\e[34;01m'
2013-12-15 13:06:43 -08:00
# http://stackoverflow.com/questions/6841143/how-to-set-font-color-for-stdout-and-stderr
color()(set -o pipefail;"$@" 2>&1>&3|sed $'s,.*,\e[31m&\e[m,'>&2)3>&1
2013-12-15 13:01:39 -08:00
die() { echo -e ${BAD}$@${NORMAL}; exit 1; }
2013-04-02 00:48:20 -07:00
trimp() { sed -e 's/^[ \t]*//g' -e 's/[ \t]*$//g'; }
trim() { echo $@ | trimp; }
2013-04-01 09:57:42 -07:00
2013-12-08 15:52:01 -08:00
desktopFile_getParameter() { file=$1; parameter=$2; grep "^${parameter}=" "$file" | cut -d= -f2- | cut -d\" -f2 | trimp; }
2013-04-01 15:05:29 -07:00
desktopFile_setParameter() { file=$1; parameter=$2; value=$3; sed -i -e "s|${parameter}=.*|${parameter}=$value|" "$file"; }
2013-04-01 09:57:42 -07:00
2013-04-02 00:48:20 -07:00
xml_extract_node() {
2013-04-01 09:57:42 -07:00
local node="$1"
local file="$2"
grep -Pzo "(?s)<$node.*?>.*?</$node>" "$file"
}
2013-04-02 00:48:20 -07:00
xml_extract_property() {
2013-04-01 09:57:42 -07:00
local property="$1"
local line="$2"
echo "$line" | egrep -o "$property=\"[^\"]*\"" | cut -d\" -f2
}