diff --git a/Makefile b/Makefile index b8f5d63..7f968af 100644 --- a/Makefile +++ b/Makefile @@ -8,7 +8,7 @@ VERSION_FILE := $(FILES_DIR)/etc/version50 PLUGINS := audioplayer browser cat debug gist hex info presentation simple statuspage theme NAME := ide50 -VERSION := 145 +VERSION := 146 define getplugin @echo "\nFetching $(1)..." diff --git a/postinst b/postinst index 0737c0f..0b5e4b5 100755 --- a/postinst +++ b/postinst @@ -18,6 +18,15 @@ chmod 644 /etc/bash_completion.d/make # remove dropbox functions sed -i 's:source /home/ubuntu/.dropbox50::g' ~/.bashrc +# export make function +if ! grep -q 'export -f make' ~/.bashrc; then + cat >> ~/.bashrc << EOF +if declare -f make &>/dev/null; then + export -f make +fi +EOF +fi + # add courses group and cs50 user groupadd -r courses > /dev/null 2>&1 || true adduser --gecos "CS50,,,," --ingroup courses --disabled-login --system cs50 > /dev/null 2>&1 || true