Do you want Tropy to stay in the ‘Linux Files’ folder? In that case you need to determine it’s full path and then you can use that path instead of /opt/tropy in the INSTALL directions. You can determine the full path using the pwd command in the tropy folder.