replace_user_number.shを実行すればポートが学籍番号になります
cf. https://tech.libinc.co.jp/entry/2019/11/07/111548