# (number sign, pound sign, hashtag)

Comment

End-of-line comment, may be used like //

Used primarily for #! at the beginning of a shell script

Used as separator for unique id in socket and process identifiers

Example:

put "/bin/sh#id2" into myProcess

Related Terms

Related terms in the SenseTalk Dictionary:

• socket
• process
• numberSign

---

note

This page is under construction: it has not been reviewed for completeness.