function

mv . files . sncode

VERSIONlatest Move/rename a file.

MV

NAME

mv - Moves/renames a file.

SYNOPSIS

mv(f1, f2, f3, f4, …);

DESCRIPTION

This function is used to move file f1 to file f2, f3 to file f4, etc. When moving file f1 to f2, it will be renamed f2. The user might need this function to change the name of a file.

EXAMPLES

Note: In the followings examples, the _ between the { should be removed to make it work.

res={_{ mv("toto.txt"); }}. return Function mv required 2 argument
res={_{ mv("toto.txt","tata.txt"); }} return Can't rename file.
res={_{
        void generate(file:"/tmp/toto.sn",template:"/tests/sample.sn");
        -e "/tmp/tata.txt";
        mv("/tmp/toto.sn","/tmp/tata.txt");
        -e "/tmp/tata.txt";
        -e "/tmp/toto.txt";
        remove("/tmp/tata.txt");
    }}. return res=falsetruefalse.