A bash script to solve PlayerArgsEnd error

[arsdragonfly]

My server crashed just now and failed to start up with the PlayerArgsEnd error.
I neither wanted to delete all the player profiles nor look through evey one of them, so I learned bash script and wrote this one to help me check them automatically.
Put it into your /worlds/(worldname)/players folder and execute it.Don't change its filename!
When you found the corrupted file,either delete it or fix it manually.
https://gist.github.com/arsdragonfly/5772568

[arsdragonfly]

Screenshot:

[BadWolf]

Hi, I have tried your bash script and it's not working.

I'm using Ubuntu 12.04. I stuck it in the player folder, but the result lists a bunch of files which are not in the player folder

the end of the readout:

Your phone or window isn't wide enough to display the code box. If it's a phone, try rotating it to landscape mode.

Code: Select all

cat: ./Ubuntu: No such file or directory
cat: One: No such file or directory
./Ubuntu One
cat: ./Untitled: No such file or directory
cat: Document: No such file or directory
cat: 1: No such file or directory
./Untitled Document 1
cat: ./Video: No such file or directory
cat: Projects: No such file or directory
./Video Projects
cat: ./Videos: Is a directory
./Videos


where my player files will include BadWolf and BadWolf2. These aren't even listed

[sfan5]

Screenshot:
-snip-

You have a minetest server on your phone?

[sfan5]

I have made a better script now: https://gist.github.com/sfan5/6120106
It's only one line and you can change its name to whatever you want as long as it still has the .sh extension
You can also just use the command(line 3) in the console directly

[arsdragonfly]

Screenshot:
-snip-

You have a minetest server on your phone?

I did.