File: get_manual_version

package info (click to toggle)
debian-edu-doc 2.12.27
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 66,620 kB
  • sloc: xml: 26,777; sh: 228; perl: 117; makefile: 87
file content (24 lines) | stat: -rwxr-xr-x 965 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
#!/bin/bash
#
# Author/Copyright:	Holger Levsen
# Licence:		GPL2+
# first edited:		2014-04-14
# 
# This program 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 2 of the License, or
# (at your option) any later version.
#
# This program 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.

# don't do this for the manuals, just for THE manual :)
if [[ $url == https://wiki.debian.org/DebianEdu/Documentation/Manuals/* ]] || \
[[ $url == https://wiki.debian.org/DebianEdu/Documentation/ITIL/* ]] ; then
	exit 0
fi
VERSION=$(PERL_LWP_SSL_VERIFY_HOSTNAME=0 GET -H User-Agent: $url?action=raw |sed -n '1p'|sed -r 's/^([^0-9])*|([^0-9])*$$//g')
echo $VERSION > version