mailing-list for TeXmacs Users

["El.Douwen" <address@hidden>]

hi everyone

invisibles on mac os X

if a beginner like me has to work with hidden files, the better i found at the moment is TinkerTool "make the invisibles visibles" and then you can edit the bash_profile in the ~/ folder (icon with little home) with textedit.

modifying $PATH

in this file (bash_profile) i have written on a new line :

export PATH=$PATH:/Applications/Maxima.app/Contents/Resources/

now if i type "maxima.sh" in a terminal window, it laucnhes maxima in the temrinal window

but in this "Resources" there is no "maxima" only "maxima.sh"

so if i type "maxima" alone (without .sh) in a terminal window it says

/usr/local/bin/maxima: line 10: /usr/local/bin/maxima//bin/maxima: Not a directory

/usr/local/bin/maxima: line 10: exec: /usr/local/bin/maxima//bin/maxima: cannot execute: Not a directory

alias

so i created an alias of this maxima.sh with this instruction :

sudo ln -s /Applications/Maxima.app/Contents/Resources/maxima.sh ~/Desktop/

i would then put this alias in Applications/Maxima.app/Contents/Resources/

but this alias has for name "maxima.sh" and this extension appeals not to me

since i guess that TeXmacs can not lauch maxima because terminal can not launch maxima with the instruction "maxima" alone

as i can not tell TeXmacs (or dont know how to do) that the real name of maxima should be "maxima.sh", i assume i must rename the alias "maxima.sh" into "maxima"

but the finder lets me not do this, and not even modify the authorizations

so i swim in the terminal help to learn about the instruction "rename"

it says "rename old_name new_name"

i type rename /Users/elodouwen/Desktop/maxima.sh /Users/elodouwen/Desktop/maxima

it answers

-bash: rename: command not found

so…

so i think, maybe i leave the idea of running maxima under mac os X's teXmacs, i just hope that under ubuntu all is more simple

and i make a migration of my work towards virtualbox's Ubuntu, hoping also that the exchange between mac os X's finder and virtualbox's Ubuntu will work again, i had spent lot of time alose on this point.

Sacha