メインコンテンツまでスキップ
バージョン:26.3

# (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 in the SenseTalk Dictionary:



ノート

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