Download a file .sh

Bash
#1

Hello,

I’m a french maths and computer science teacher. I would like my students to play a game: gameshell.sh https://github.com/phyver/GameShell/releases/download/latest/gameshell.sh to learn bash commands using the Terminal of webminal.

But I can’t download this file from the Terminal (for security reason, I guess). Can you download the file gameshell.sh to my home in webminal (and the same for my students) please ?

Thanks a lot.

Patrice.

1 Like
#2

Nice I didn’t know about this cool script. Can you share your username? I’ll place it on your home directory.

#3

Its available under /common_pool/shared, please copy and run it as “sh ./gameshell.sh”

#4

Hello,

Thanks a lot. I tried to play the game but it didn’t worked:

Blockquote
./gameshell/start.sh: line 297: /home/patou1979/gameshell/scripts/make_
index: Permission denied

/ | __ _ _ __ ___ / || | | | |
| | _ / | '_ _ \ / _ _ | ’ \ / _ \ | |
| || | (| | | | | | | /) | | | | / | |
_|_,|| || ||_|_/|| ||_|||

Blockquote
Error: no mission was found!
Aborting.

And on computer I play the game without any problem.
Could you help me please?

Thank you very much.

Patrice.

#5

Seems like the script trying to execute some other script as /home/patou1979/gameshell/scripts/make_ index is it possible modify this as sh /home/patou1979/gameshell/scripts/make_ index ?

#6

Hello,

Thank you for your help.
I tried the command:

sh /home/patou1979/gameshell/scripts/make_index

but it didn’t work:

sh: /home/patou1979/gameshell/scripts/make_index: No such file or directory

Do you have the same problem if you try to play this game on webminal?

Thanks,
Patrice.

#7

I think this got executed from ./gameshell/start.sh Yes, I’m getting the same error. Tomorrow, Let me check whether I can modify the script and make it work under webminal