Fossil

Differences From Artifact [db68e2cae4]:

• File www/fossil_prompt.sh — part of check-in [4db19dccd3] at 2015-09-16 08:57:11 on branch trunk — Remove unnecessary end-of-line spacing in various places (user: jan.nijtmans size: 2268) [more...]

To Artifact [14c5abc975]:

• File www/fossil_prompt.sh — part of check-in [c49f3ef4cf] at 2019-08-08 23:04:54 on branch trunk — Fix the www/fossil_prompt.sh Fossilized Bash Prompt script so that it works even if the current check-in comment contains grave accents (backticks). (user: drh size: 2276) [more...]

11
12
13
14
15
16
17

18
19
20
21
22
23
24
25

# variable $fossil_info_project_name to an empty string and return.
#
function get_fossil_data() {
  fossil_info_project_name=""
  eval `get_fossil_data2`
}
function get_fossil_data2() {

  fossil info 2> /dev/null | sed 's/"//g'|grep "^[^ ]*:" | while read LINE ; do
    local field=`echo $LINE | sed 's/:.*$//' | sed 's/-/_/'`
    local value=`echo $LINE | sed 's/^[^ ]*: *//'`
    echo fossil_info_${field}=\"${value}\"
  done
}

#-------------------------------------------------------------------------

>
|

11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

# variable $fossil_info_project_name to an empty string and return.
#
function get_fossil_data() {
  fossil_info_project_name=""
  eval `get_fossil_data2`
}
function get_fossil_data2() {
  fossil info 2> /dev/null |tr '\042\047\140' _|grep "^[^ ]*:" |
  while read LINE ; do
    local field=`echo $LINE | sed 's/:.*$//' | sed 's/-/_/'`
    local value=`echo $LINE | sed 's/^[^ ]*: *//'`
    echo fossil_info_${field}=\"${value}\"
  done
}

#-------------------------------------------------------------------------