This file is indexed.

config is in code-aster-gui 1.13.1-2.

This file is a maintainer script. It is executed when installing (*inst) or removing (*rm) the package.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
#!/bin/sh
set -e

alias stripwhitespace="sed -e 's/^[[:blank:]]*//' -e 's/[[:blank:]]*$//'"

# Source debconf library.
. /usr/share/debconf/confmodule

#DEB_HOST_ARCH_OS="$(dpkg-architecture -qDEB_HOST_ARCH_OS | tr '[:lower:]' '[:upper:]')"
#DEB_HOST_ARCH_BITS="$(dpkg-architecture -qDEB_HOST_ARCH_BITS)"

#Set default platform
#if [ "${dc_platform}" = "" ] ; then
#	dc_platform="${DEB_HOST_ARCH_OS}" && \
#	db_set astk/platform "${dc_platform}"
#	if [ "${DEB_HOST_ARCH_BITS}" = "64" ] ; then
#	    dc_platform="${DEB_HOST_ARCH_OS}${DEB_HOST_ARCH_BITS}" && \
#	    db_set astk/platform "${dc_platform}"
#	fi
#fi

#Set default domain name
if [ "${dc_domainname}" = "" ] ; then
	dc_domainname="$(hostname --domain 2>/dev/null)" && \
	db_set astk/domainname "${dc_domainname}"
fi

#Set default server name
if [ "${dc_servername}" = "" ] ; then
	dc_servername="$(hostname 2>/dev/null)"  && \
	db_set astk/servername "${dc_servername}"
fi

#Set default node name
if [ "${dc_node}" = "" ] ; then
	dc_node="$(hostname -s 2>/dev/null)" && \
	db_set astk/node "${dc_node}"
fi

#Set default editor name
if [ "${dc_editor}" = "" ] ; then
	dc_editor="/usr/bin/gedit --display=\@D" && \
	db_set astk/EDITOR "${dc_editor}"
fi

#Set default terminal name
if [ "${dc_terminal}" = "" ] ; then
	dc_terminal="/usr/bin/gnome-terminal --display=\@D --command=\@E" && \
	db_set astk/TERMINAL "${dc_terminal}"
fi

db_version 2.0

# Choose Platform
#db_input medium astk/platform || true
#dc_platform="$RET"
#db_go

db_input medium astk/domainname || true
dc_domainname="$RET"
db_go

db_input medium astk/servername || true
dc_servername="$RET"
db_go

db_input medium astk/node || true
dc_node="$RET"
db_go

db_input medium astk/EDITOR || true
dc_editor="$RET"
db_go

db_input medium astk/TERMINAL || true
dc_terminal="$RET"
db_go