"remove any build and source trees in your home directory once you no longer\n" +
"need them. Disk space on porter machines often is scarce. If it becomes\n" +
"necessary we will delete your entire home directory without warning, but this\n" +
"remove any build and source trees in your home directory once you no longer\n" +
"need them. Disk space on porter machines often is scarce. If it becomes\n" +
"necessary we will delete your entire home directory without warning, but this\n" +