# HG changeset patch
# User Christophe Lincoln <pankso@slitaz.org>
# Date 1486765041 -3600
# Node ID 4e8dfb19f2a7c61b26f5dc0aa3c493f0d45cc3f4
# Parent  e3cba575c564f5c216e441afecb95995dd3d7189
Small change to user plugins

diff -r e3cba575c564 -r 4e8dfb19f2a7 plugins/users/users.cgi
--- a/plugins/users/users.cgi	Fri Feb 10 22:53:14 2017 +0100
+++ b/plugins/users/users.cgi	Fri Feb 10 23:17:21 2017 +0100
@@ -23,14 +23,14 @@
 		cat $PEOPLE/$USER/profile.txt | wiki_parser
 		cat << EOT
 <div id="tools">
-	<a href="$script?edit-profile">$(gettext "Edit profile")</a>
+	<a href="$script?modprofile">$(gettext "Modify profile")</a>
 	<a href="$script?dashboard">Dashboard</a>
 </div>
 EOT
 	else
 		cat << EOT
 <div id="tools">
-	<a href="$script?edit-profile">$(gettext "Create a profile page")</a>
+	<a href="$script?modprofile">$(gettext "Create a profile page")</a>
 	<a href="$script?dashboard">Dashboard</a>
 </div>
 EOT
@@ -125,7 +125,7 @@
 		fi
 		html_footer && exit 0 ;;
 		
-	*\ edit-profile\ *)
+	*\ modprofile\ *)
 		# Let user edit there profile
 		if ! check_auth; then
 			echo "ERROR" && exit 0
@@ -136,8 +136,8 @@
 		html_header
 		user_box
 		cat << EOT
-<h2>$(gettext "Edit profile [ $user ]")</h2>
-<p>$(gettext "Edit your profile settings")
+<h2>$(gettext "User:") $user</h2>
+<p>$(gettext "Modify your profile settings")
 <div id="edit">
 
 <form method="get" action="$script" name="editor">
diff -r e3cba575c564 -r 4e8dfb19f2a7 tinycm
--- a/tinycm	Fri Feb 10 22:53:14 2017 +0100
+++ b/tinycm	Fri Feb 10 23:17:21 2017 +0100
@@ -103,6 +103,7 @@
 			for plug in $(ls plugins)
 			do
 				if [ -d "$path/plugins/$plug" ]; then
+					echo "* Updating plugin: $plug"
 					cp -a plugins/$plug $path/plugins
 				fi
 			done