Hello, I would like to know where are the portfiles and what is their extension. I tried "sudo port edit myport" but I have a message telling me I have not the permission for this action. thank you, lolveley.