2018-07-30 08:17:09 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
2018-07-31 00:24:32 +00:00
|
|
|
APT=$BASEDIR/tools/apt-selection
|
2018-07-30 08:17:09 +00:00
|
|
|
|
|
|
|
|
# include all the education packages except education-development
|
2018-07-31 00:24:32 +00:00
|
|
|
$APT list 'education-*' 2>/dev/null | cut -d '/' -f1 | grep -v education-development > $1
|
