diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-23 11:10:25 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-23 11:10:25 +0200 |
commit | 6773b3543653e76d2bbfa30578352fb49236cf14 (patch) | |
tree | 18525957393b9850a98d83d6d62886b5dcaa4f5d | |
parent | 986185fe2abb331aa6a253130ceebb7978fdfbe1 (diff) | |
download | deployment-6773b3543653e76d2bbfa30578352fb49236cf14.tar.gz deployment-6773b3543653e76d2bbfa30578352fb49236cf14.tar.bz2 deployment-6773b3543653e76d2bbfa30578352fb49236cf14.zip |
remove unliked * from currency name in per-user settlements
-rwxr-xr-x | bootstrap-standalone | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bootstrap-standalone b/bootstrap-standalone index 1c8ef99..dc62b0e 100755 --- a/bootstrap-standalone +++ b/bootstrap-standalone @@ -10,7 +10,7 @@ set -eu ENVNAME=$USER BRANCH=master -CURRENCY=$(echo "*KUDOS-$USER" | cut -c 1-12) +CURRENCY=$(echo "KUDOS-$USER" | cut -c 1-12) cd $HOME |