File tree 2 files changed +46
-2
lines changed 2 files changed +46
-2
lines changed Original file line number Diff line number Diff line change 52
52
" !sudo apt-get install -y -qq default-jdk"
53
53
]
54
54
},
55
+ {
56
+ "cell_type" : " code" ,
57
+ "execution_count" : null ,
58
+ "metadata" : {},
59
+ "outputs" : [],
60
+ "source" : [
61
+ " # Search for the first java interpreter. This code should work. If not, adjust JAVA_HOME manually.\n " ,
62
+ " import os\n " ,
63
+ " from pathlib import Path\n " ,
64
+ " \n " ,
65
+ " def find_java_home() -> str | None:\n " ,
66
+ " p = Path('/usr/lib/jvm')\n " ,
67
+ " (_, dirs, _) = next(os.walk(p))\n " ,
68
+ " for d in dirs:\n " ,
69
+ " inner_java: Path = p / d / 'bin' / 'java'\n " ,
70
+ " if inner_java.is_file():\n " ,
71
+ " return str(p.joinpath(d).absolute())\n " ,
72
+ " return None\n " ,
73
+ " \n " ,
74
+ " JAVA_HOME = os.getenv('JAVA_HOME', find_java_home())"
75
+ ]
76
+ },
55
77
{
56
78
"cell_type" : " code" ,
57
79
"execution_count" : 3 ,
58
80
"metadata" : {},
59
81
"outputs" : [],
60
82
"source" : [
61
- " %env JAVA_HOME=/usr/lib/jvm/default-java "
83
+ " %env JAVA_HOME=$JAVA_HOME "
62
84
]
63
85
},
64
86
{
Original file line number Diff line number Diff line change 58
58
"metadata" : {},
59
59
"outputs" : [],
60
60
"source" : [
61
- " %env JAVA_HOME=/usr/lib/jvm/default-java"
61
+ " # Search for the first java interpreter. This code should work. If not, adjust JAVA_HOME manually.\n " ,
62
+ " import os\n " ,
63
+ " from pathlib import Path\n " ,
64
+ " \n " ,
65
+ " def find_java_home() -> str | None:\n " ,
66
+ " p = Path('/usr/lib/jvm')\n " ,
67
+ " (_, dirs, _) = next(os.walk(p))\n " ,
68
+ " for d in dirs:\n " ,
69
+ " inner_java: Path = p / d / 'bin' / 'java'\n " ,
70
+ " if inner_java.is_file():\n " ,
71
+ " return str(p.joinpath(d).absolute())\n " ,
72
+ " return None\n " ,
73
+ " \n " ,
74
+ " JAVA_HOME = os.getenv('JAVA_HOME', find_java_home())"
75
+ ]
76
+ },
77
+ {
78
+ "cell_type" : " code" ,
79
+ "execution_count" : null ,
80
+ "metadata" : {},
81
+ "outputs" : [],
82
+ "source" : [
83
+ " %env JAVA_HOME=$JAVA_HOME"
62
84
]
63
85
},
64
86
{
You can’t perform that action at this time.
0 commit comments