自宅メインマシンはなんとかなった模様。てか、あまりに変わりばえしなさすぎで本当かなぁ、というカンジ。しかも手順を覚えてなかったりしてorz
Mint というエントリにある apt line を試したのですが微妙に不具合が出たような。。
たしか以下を Ubuntu な apt-line に追加して
deb http://packages.linuxmint.com/ julia main upstream import
dist-upgrade した後に、Ubuntu の apt-line を削ったような気がする。
今日は
出掛けるみたいなので、帰宅後にお仕事用も対応する方向なのかどうか。
