diff options
| author | Alon Levy <alon@pobox.com> | 2015-08-13 17:22:18 +0300 |
|---|---|---|
| committer | Alon Levy <alon@pobox.com> | 2015-08-13 17:22:18 +0300 |
| commit | 4b28fcdf65d313593305aa0c2d4e6113914730d4 (patch) | |
| tree | b722601d872c353917bfcc7889a58a60e5c4b5a8 | |
| parent | 9bc8df46bde6d8788a3c76152d4fb674dfcb7564 (diff) | |
src/local/server-tools: rename rz_user to rz-user-tool to avoid module confusion with server/rz_user; move shebang to first line (copyright addition blunder)
| -rwxr-xr-x | src/local/server-tools/rz-user-tool.py (renamed from src/local/server-tools/rz_user.py) | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/local/server-tools/rz_user.py b/src/local/server-tools/rz-user-tool.py index 1f01f699..0ae7018a 100755 --- a/src/local/server-tools/rz_user.py +++ b/src/local/server-tools/rz-user-tool.py @@ -1,3 +1,5 @@ +#!/usr/bin/python2.7 + # This file is part of rhizi, a collaborative knowledge graph editor. # Copyright (C) 2014-2015 Rhizi # @@ -14,9 +16,6 @@ # You should have received a copy of the GNU Affero General Public License # along with this program. If not, see <http://www.gnu.org/licenses/>. - -#!/usr/bin/python2.7 - import argparse import os import pickle |
