Dennis,

Does he have to source the .profile file as well, like we do in Linux, for
the changes to take effect? For example, on my Linux box, if I make a
change to .profile, I source it by typing at the console window:

cd ~
. ./.profile

That's a dot, a space a dot, a slash, and then .profile.

Thanks!

On Fri, Jan 27, 2017 at 9:54 AM, dev_user <dev_at_cor0.com> wrote:

> On 01/27/2017 02:42 PM, Alessandro Zappa (UBISS) wrote:
>
>> Thanks for the answer.
>> I am already using the -o option.
>> The trouble is that while curl is downloading a
>>
> > file, it uses the /tmp dir ...
>
>
> TMPDIR=/var/tmp ; export TMPDIR
>
>
> put that into your .profile in your home directory.
>
> Just type it into your terminal session now.
>
>
> Also .. .what version of curl are you using ?
>
> Dennis
>
>
> -----------------------------------------------------------
> Unsubscribe: https://cool.haxx.se/list/listinfo/curl-users
> Etiquette: https://curl.haxx.se/mail/etiquette.html
>

-----------------------------------------------------------
Unsubscribe: https://cool.haxx.se/list/listinfo/curl-users
Etiquette: https://curl.haxx.se/mail/etiquette.html
Received on 2017-01-27