I have copied zipped file from the playframework.org website and unzipped it at a location. I have inserted it in my .bashrc profile to set up as PATH environment.
But s
You also need to tell the terminal that "play" is a bash script. You will need to either rename play to play.sh, or run it with "bash play." Additionally the script needs to have executable permissions.
I set it up with the following steps:
Note that the alias can be run in a terminal, but to persist you will need to copy it to ~/.bashrc
With this setup, local user can type play from any location.