config is in code-aster-gui 1.8.4-5.
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 78 79 80 81 82 | #!/bin/sh
set -ex
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
# Node name
db_input medium astk/node || true
dc_node="$RET"
db_go
# Server name
db_input medium astk/servername || true
dc_servername="$RET"
db_go
# Domain name
db_input medium astk/domainname || true
dc_domainname="$RET"
db_go
# Choose Editor
db_input medium astk/EDITOR || true
dc_editor="$RET"
db_go
# Choose TERMINAL
db_input medium astk/TERMINAL || true
dc_terminal="$RET"
db_go
|