In bash on some systems it is a shell function:
I cannot vouch for this code because I use the standard C library realpath in a compiled module. The example above is a copy that I found a while back when researching a similar problem to what you have when trying to migrate scripts across Linux distros.
If someone knows more I'd like to see it.
This User Gave Thanks to jim mcnamara For This Post:
Hi guys
I'm trying to move an empty directory to the $TRASH directory. Say the directory i have is ./hello/hello1/hello2 and i'm in hello2, and i want hello2 moved.
this code:
TRASH=$home/deleted
find "$TRASH/$1" -type d -exec rmdir { } \; 2>/dev/null
mv -f $1 $TRASH 2>/dev/null
works... (2 Replies)
Hi,
I have a file with about 60 lines of path:
app-defaults/boxXYZ.......
I want to change this to /my/path/goes/here/app-defaults/boxXYZ, but of course vi doesn't like the regualr :s/old/new/ command.
Is there any other quick way to do this?
Thanks ;) (2 Replies)
given a relative path, how do i convert it into a full one. i.e. if i am in
/home/polypus
and i am given foo/bar then to get a full path i can just concatinate it with pwd, but what if i am given "../mama"
how do i programmatically convert:
/home/polypus and ../mama into ... (4 Replies)
I'm having problems accessing the Knoppix software on my current computer and the replacement CD I ordered hasn't arrived yet.
I have a guess at what the answer would be for this question but I am not sure as I cannot test it with the software.
I have to create a directory called class, and... (1 Reply)
I have a script in which i want to print absolute path of the same script irrespective of path from where i run script.
I am using
test.sh:
echo "pwd : `pwd`"
echo "script name: $0"
echo "dirname: `dirname $0`"
when i run script from /my/test/dir/struct as ../test.sh the output i... (10 Replies)
Hi,
I have a file abcd.txt which has contents in the form of full path file names i.e.
$home> vi abcd.txt
/a/b/c/r1.txt
/q/w/e/r2.txt
/z/x/c/r3.txt
Now I want to retrieve only the directory path name for each row
i.e
/a/b/c/
/q/w/e/
How to get the same through shell script?... (7 Replies)
I have a file inside abc/def/ghi directory. let say a.txt
I need to delete this a.txt from abc itself.
I have tried
ls /abc/def/ghi | xargs rm -r
its saying
rm: a.txt non-existent
also tried rm -rf /def/ghi
but in vein. plz help :) (2 Replies)
Hello,
I have a doubt:-
---------------------
Current script:-
################################################################################################
prefix=user@my-server:
find . -depth -type d -name .git -printf '%h\0' | while read -d "" path ; do (
cd "$path" || exit $?... (4 Replies)
Hello Everyone,
I want to convert
Relative Path - /home/stevin/data/APP_SERVICE/../datafile.txt
to
Absolute Path - /home/stevin/data/datafile.txt
Is there a built-in tool in Unix to do this or any good ideas as to how can I implement this.
-Steve (5 Replies)
Discussion started by: qwarentine
5 Replies
LEARN ABOUT DEBIAN
coqchk
COQ(1) General Commands Manual COQ(1)NAME
coqchk - The Coq Proof Assistant compiled libraries verifier
SYNOPSIS
coqchk [ options ] files-or-modules
DESCRIPTION
coqchk is the standalone checker of compiled libraries (.vo files produced by coqc) for the Coq Proof Assistant. See the Reference Manual
for more information. It returns with exit code 0 if all the requested tasks succeeded. A non-zero return code means that something went
wrong: some library was not found, corrupted content, type-checking failure, etc.
files-or-modules is a list of modules to be checked. Modules can be referred to either by a filename (without the .vo suffix) or by their
(possibly qualified) module name.
OPTIONS -I dir, --include dir
add directory dir in the include path
-R dir coqdir
recursively map physical dir to logical coqdir
-where print Coq's standard library location and exit
-silent
makes coqchk less verbose.
-admit file-or-module
tag the specified module and all its dependencies as trusted, and will not be rechecked, unless explicitly requested by other
options.
-norec file-or-module
specifies that the given module shall be verified without requesting to check its dependencies
-m, --memory
displays a summary of the memory used by the checker
-o, --output-context
displays a summary of the logical content that have been verified: assumptions and usage of impredicativity
-impredicative-set
allows the checker to verify libraries that have been compiled with this flag.
-v print Coq version and exit
-where print Coq's standard library location and exit
-h, --help
print list of options
SEE ALSO coqtop(1), coqc(1), coq_makefile(1), coqdep(1).
The Coq Reference Manual. The Coq web site: http://coq.inria.fr
February 9, 2009 COQ(1)