久しぶりに1111の更新してみたらexensionsタブが追加されていたのだけどうまくインストールができず。
どうも、singularityだと ui_extensions.py の os.rename(tmpdir, target_dir) でインストールしたディレクトリを移動させるのがうまく働かないっぽい。
shutil.move(tmpdir, target_dir) ならOKだった。
これはdockerコンテナでもダメなんじゃないかしら……