drwxrwxrwt 15 root wheel 480 Feb 7 22:58 /private/tmp
't' stands for the "text" or "sticky bit." For directories, it is commonly referred to as the "restricted deletion flag." When set, only the file owner can delete or modify their own files in the directory.
drwxrwxrwt. 56 root root 1160 Feb 8 11:52 /tmp
--
--
This is a message is from the **HUG newgroup.
To post to this group, send email to stars...@googlegroups.com
To unsubscribe from this group, send email to
starstarhug...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/starstarhug?hl=en
---
You received this message because you are subscribed to the Google Groups "starstarhug" group.
To unsubscribe from this group and stop receiving emails from it, send an email to starstarhug...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/starstarhug/808ffefd-43e9-40ff-bd5b-5d385feead43n%40googlegroups.com.
echo "$HUMDRUM" | >>> humdrum_dir <<<
91 # system("$AWK_VER -f ${HUMDRUM}/bin/number.awk '" LABEL "' " FILENAME " > $TMPDIR/yank5$")
92 # "cat $TMPDIR/yank5$" | getline max_occurrences
93 # close("cat $TMPDIR/yank5$")
94 #max_occurrences = max_occurrences + 0
95 "echo $HUMDRUM" | humdrum_dir
96 if (humdrum_dir == "") {
97 "echo $PATH | tr : '\n' | grep 'humdrum/bin$' | head -n 1" | getline humdrum_dir
98 sub(/\/bin$/, "", humdrum_dir)
99 }
100 "echo $AWK_VER" | getline awkver
101 if (awkver == "") {
102 "which awk" | getline awkver
103 }
104 if (awkver == "") {
105 "which gawk" | getline awkver
106 }
To view this discussion on the web visit https://groups.google.com/d/msgid/starstarhug/6d42fe6a-8a12-4acb-bf92-45ba3bc15564n%40googlegroups.com.
yank -s 'A' -r 1 inven06.krn
To view this discussion on the web visit https://groups.google.com/d/msgid/starstarhug/CAPcjuFfyQJy-Y6XKkT%2BBee15G_1o43Jx_H1q1D9mQijstYTr_w%40mail.gmail.com.
*- *-
--
--
This is a message is from the **HUG newgroup.
To post to this group, send email to stars...@googlegroups.com
To unsubscribe from this group, send email to
starstarhug...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/starstarhug?hl=en
---
You received this message because you are subscribed to a topic in the Google Groups "starstarhug" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/starstarhug/l4kHTrV5FLQ/unsubscribe.
To unsubscribe from this group and all its topics, send an email to starstarhug...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/starstarhug/CAPcjuFcQYOd_RHx-hQ_FW3hbsJpUJC8qGuahqcWy1FEwVek8aw%40mail.gmail.com.