import { callback2 } from "@cocalc/util/async-utils" ; const { execute_code } = require ( "@cocalc/backend/misc_node" ) ; export async function init_global_packages ( ) { const command = `[ ! -d "${ process . env . HOME }/.lean" ] && [ -d /ext/lean/lean/mathlib ] && leanpkg install /ext/lean/lean/mathlib` ; await callback2 ( execute_code , { command , bash : true , err_on_exit : false } ) ; }