# HG changeset patch # User Christophe Lincoln # Date 1488319192 -3600 # Node ID 027865f275801e6f95fb230539e83fc02ecd3334 # Parent 3e8160d21207be5915b1db266a2419fcd18848ee Fix in users plugin (from tinycm) diff -r 3e8160d21207 -r 027865f27580 web/plugins/users/users.cgi --- a/web/plugins/users/users.cgi Mon Feb 27 13:50:39 2017 +0100 +++ b/web/plugins/users/users.cgi Tue Feb 28 22:59:52 2017 +0100 @@ -176,6 +176,7 @@ user_box account_config="$PEOPLE/$(GET user)/account.conf" profile_config="$PEOPLE/$(GET user)/profile.conf" + # account.conf if [ ! -f "$account_config" ]; then echo "No user profile for: $(GET user)" @@ -183,18 +184,12 @@ else . ${account_config} fi - # Init profile.conf - if [ -f "${profile_config}" ]; then + + # profile.conf + if [ -f "$profile_config" ]; then . ${profile_config} - else - cat > $PEOPLE/$user/profile.conf << EOT -# User profile -WEBSITE="$website" -FACEBOOK="$facebook" -TWITTER="$twitter" -EOT - chmod 0600 $PEOPLE/$user/profile.conf fi + cat << EOT

$(get_gravatar $MAIL) $NAME

@@ -216,7 +211,7 @@ cat $PEOPLE/$USER/profile.txt | wiki_parser fi - # Run user.sh so that plugins can provide to add content to a profile + # Run user.sh that plugins can provide to add content to a profile for script in $(ls $plugins/*/user.sh); do . ${script} done