1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#!/bin/bash
set -o errexit
set -o nounset
#apt-file update
apt-file --regexp search '/usr/share/ada/adainclude/.+\.gpr$' |
while read line; do
package=`echo $line | cut -f1 -d:`
gpr=`echo $line | cut -f2 -d' '`
target=`echo $package | sed 's/^lib//' | sed -r 's/[0-9]+.*//' | sed 's/-/_/g'`
# echo $package $target
if echo $gpr | grep -q ${target}.gpr; then
version=`apt-cache policy $package | grep Candidate | awk '{print $2}'`
descr=`apt-cache show $package | grep 'Description-..:' | cut -f2- -d' '`
echo $package $target $version $descr
else
:
#echo $package $gpr discarded
fi
done
|
