私はこのデスクトップファイルを使用してきましたpluto.desktop
。
[Desktop Entry]
Exec=/home/user/Software/Installed/Pluto/pluto_startup.sh
Icon=/home/user/Software/Installed/Pluto/Pluto.svg
Type=Application
Terminal=true
Name=Pluto
Categories=Development;IDE;
Plutoを起動するJuliaコードを含む実行可能ファイルを指しますpluto_startup.sh
(ブラウザのJulia Notebook)。
#!/bin/env julia
cd("/home/user/Software/Installed/Pluto")
using Pkg
Pkg.activate(".")
using Pluto
Pluto.run()
残念ながら、デフォルトのシェルをbashからzshに変更した後、動作が停止しました。実行するとdesktop-file-validate
エラーは返されず、引き続き機能しますgtk-launch pluto
(直接実行することもできますpluto_startup.sh
)。ところで、GNOMEダッシュでアイコンをクリックすると、ターミナルが開いてすぐに閉じ、Plutoが起動しません。使ってみました。
Exec=gnome-terminal -e "sh -c 'home/user/Software/Installed/Pluto/pluto_startup.sh'"
代わりに、別のjuliaファイルに内容を入れてpluto_startup.sh
から、ちょうど含まれているファイルとしてそのファイルを呼び出します。
#!/bin/zsh
julia -i /home/user/Software/Installed/Pluto/pluto_startup.jl
しかし、両方の試みは失敗しました。
この問題の原因が何であるか、どのように解決できるかをご存知ですか?
基本オペレーティングシステム情報:
Fedora Linux 38 (Workstation Edition) x86_64
GNOME 44.1 on Wayland
ベストアンサー1
この問題の解決策/解決策を見つけました。ファイルインタプリタへの絶対パスを作成しますpluto_startup.sh
(pluto_startup.jl
明確にするために名前も変更しました)。このようなことが#!/<abs-path-to-julia-binary>
問題を解決したようです。