Linux and UNIX Man Pages

Linux & Unix Commands - Search Man Pages

acl2(1) [debian man page]

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
Man Page

5 More Discussions You Might Find Interesting

1. Shell Programming and Scripting

how to use split command in unix shell with a condition

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)
Discussion started by: kaav06
2 Replies

2. IP Networking

Using Squid in Windows XP Getting Error can't open website

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)
Discussion started by: babinlonston
0 Replies

3. Cybersecurity

C-ICAP Hardening

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)
Discussion started by: savigabi
0 Replies

4. UNIX for Dummies Questions & Answers

Intersection by part of the string

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)
Discussion started by: a_bahreini
10 Replies

5. Shell Programming and Scripting

Text match in two files

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)
Discussion started by: cmccabe
8 Replies