it worked for me can you share your vagrantfile ?
I can test with the vm you are using, i tested on Oracle Linux. On Tue, Feb 18, 2014 at 8:58 AM, Matej Macak <[email protected]> wrote: > Hi Alvaro, > > does this work for you? When I used this in my Vagrantfile, it did not > result in the export path being added to my .profile file (even after the > provisioning was finished). I have even used the following > code<https://github.com/exratione/vagrant-provision-reboot>to reboot during > my provisioning calls but even that did not help. Somehow, > I will need to disconnect the SSH as Mitchell suggested during the > provisioning. > > @Terrance - I think my problem is that my provisioning is not registered > in the .profile for some reason so bash -l shouldn't work because it should > just read the old .profile upon startup (if I understand my problem > correctly). > > Matej > > On Saturday, February 15, 2014 9:50:22 AM UTC, Matej Macak wrote: >> >> Running the following commands in the shell provisioning script does not >> change the system path (as it does when this is run in the terminal). I was >> using precise 64 box: >> >> echo 'export PATH="/usr/local/x86_64/bin:$PATH"' >> ~/.profile >> >> echo 'export PATH="/usr/local/x86_64/bin:$PATH"' >> ~/.bashrc >> >> export PATH="/usr/local/x86_64/bin:$PATH" >> >> >> The path is neither changed during provisioning so the later commands are >> not executed as if the path was modified nor are the lines from echo >> commands actually inserted into the .profile or .bashrc files. Running >> commands with root access (i.e. sudo) makes no difference. >> >> >> -- > You received this message because you are subscribed to the Google Groups > "Vagrant" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/groups/opt_out. > -- You received this message because you are subscribed to the Google Groups "Vagrant" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
