Skip to content

Instantly share code, notes, and snippets.

@icaoberg
Created May 25, 2013 19:34
Show Gist options
  • Save icaoberg/5650475 to your computer and use it in GitHub Desktop.
Save icaoberg/5650475 to your computer and use it in GitHub Desktop.
[OMERO.server][OMERO.searcher] Check if a user exists in the OMERO.server
#!/bin/bash
if [ "$#" -ne 1 ]; then
echo "Usage: $0 <username>" >&2
exit 1
fi
USERNAME=$1
TEMP=`omero user list | grep "$USERNAME"`
if [ -z "$TEMP" ]; then echo false; else echo true; fi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment