cascremers / scyther

The Scyther Tool for the symbolic analysis of security protocols
https://cispa.saarland/group/cremers/scyther/index.html
96 stars 38 forks source link

Minor fix: check if ~/bin exists before copying scyther-linux #21

Closed SantiagoBautista closed 4 years ago

SantiagoBautista commented 4 years ago

The current behavior creates a file named ~/bin if ~/bin/ does not exist, which is a bit weird. I propose to check whether ~/bin exist before attempting the copy. Another solution would have been to create the directory ~/bin before attempting the copy.

cascremers commented 4 years ago

Looks good, thanks for this!