Comment 4 for bug 778900

Revision history for this message
Davide Alberelli (dadexix86) wrote :

No you can't ship the .bashrc, bacause it is in the user home and it would overwrite the personal one.

Maybe you can symlink the /usr/bin to the /usr/games.
I don't know how the $PATH is generated and from which command.
But i think the best solution is to find this information and add /urs/share/games to the $PATH in this way.

Another way is to create a script (it shouldn't be hard with a little programming skills) that takes the .bashrc file(s), one per user, and search if there is the string
"export PATH*"
If there isn't, it inserts a new line with "export PATH=$PATH:/usr/games/".
If there is, it looks, after that, if there isn't the string ":/usr/games" and adds it.
Otherwise, if this two condition are satisfied, exit without doing anything.

I've got an exam thursday so I can't take this for the moment.
I can do a try after that, but I'll do it in bash. And I don't know how to list all the users in the system (maybe with ls /home can be a good idea).