ACL2(1) General Commands Manual ACL2(1)NAME
acl2 - A Computational Logic
SYNOPSIS
acl2
DESCRIPTION
This manual page documents briefly the acl2 command. This manual page was written for the Debian GNU/Linux distribution because the origi-
nal program does not have a manual page. Instead, it has documentation in the GNU Info format as well as in html format. These are
included in the acl2-doc package. The documentation can also be found at the project's website, http://www.cs.utexas.edu/users/moore/acl2,
both in html form and in postscript.
AUTHOR
This manual page was written by Camm Maguire, <camm@enhanced.com>, for the Debian GNU/Linux system (but may be used by others).
October 26, 2002 ACL2(1)
Check Out this Related Man Page
ACL_CMP(3) BSD Library Functions Manual ACL_CMP(3)NAME
acl_cmp -- compare two ACLs
LIBRARY
Linux Access Control Lists library (libacl, -lacl).
SYNOPSIS
#include <sys/types.h>
#include <acl/libacl.h>
int
acl_cmp(acl_t acl1, acl_t acl2);
DESCRIPTION
The acl_cmp() function compares the ACLs pointed to by the arguments acl1 and acl2 for equality. The two ACLs are considered equal if for
each entry in acl1 there is an entry in acl2 with matching tag type, qualifier, and permissions, and vice versa.
RETURN VALUE
If successful, the acl_cmp() function returns 0 if the two ACLs acl1 and acl2 are equal, and 1 if they differ. Otherwise, the value -1 is
returned and the global variable errno is set to indicate the error.
ERRORS
If any of the following conditions occur, the acl_cmp() function returns -1 and sets errno to the corresponding value:
[EINVAL] The argument acl1 is not a valid pointer to an ACL.
The argument acl2 is not a valid pointer to an ACL.
STANDARDS
This is a non-portable, Linux specific extension to the ACL manipulation functions defined in IEEE Std 1003.1e draft 17 ("POSIX.1e", aban-
doned).
SEE ALSO acl(5)AUTHOR
Written by Andreas Gruenbacher <a.gruenbacher@bestbits.at>.
Linux ACL March 23, 2002 Linux ACL
Hi all,
I have a file which I want to split into several files based on a condition. This files has several records. I want one record per file. Each record ends with a //. So, I want to separate files based on this condition. I want split files to be named with the name across the field ID (for... (2 Replies)
I have installed Squid squid-2.7.STABLE8-bin in Windows XP in Vmware Workstation .. i have installed it in C Drive And followed the steps mentioned below now squid is running .. the changes i have made to my squid file is
Step i followed
My Squid.conf File Configuration is here... (0 Replies)
Does anyone have any experience hardening the c-icap.conf file? Here is the default config file, it has a lot of options; sorry about how long it is. I have removed some entries that were not needed as well, but it is still so long :D. Any help is much appreciated as I have never dealt with ICAP.
... (0 Replies)
Hi,
I like to intersect two files based on their first columns. Here is the code which does the trick for me:
awk 'NR==FNR{A;next}$1 in A' file1 file2
However, this only looks for exact matches between the two files in the first column. I need them to be printed even if part of the string... (10 Replies)
Trying to match the text from file1 to file2 and print what matches in a new file (match.txt) and what does not in another (missing.txt).
awk -F'|' 'NR==FNR{c++;next};c > 0' flugent.txt IDT.txt > match.txt
Thank you :). (8 Replies)