o ¹i„2ã@s~dZddlZddlZddlZddlmZddlmZmZm Z ddl m Z ddl m Z ddlmZddlmZdd lmZmZdd*d+„Z%iZe ej¡e dd¡e dd¡e d,ddiid-fd,d d dœid.fd,ddiid/fd,ddiidfdœ¡eded<d0Z&Gd1d,„d,eƒZ'Gd2d3„d3e'ƒZ(Gd4d5„d5e'ƒZ)Gd6d7„d7eƒZ*d8Z+Gd9d:„d:eƒZ,e,j-Z.e/d;kr=e.ƒdSdS)?z#Utilities for installing extensionséN)Ú JupyterApp)ÚENV_CONFIG_PATHÚSYSTEM_CONFIG_PATHÚjupyter_config_dir)Ú LogFormatter)ÚBool)Ú __version__)ÚExtensionConfigManager)ÚExtensionManagerÚExtensionPackageFcCs6|r|rd}|r tƒ}|S|rtd}|Std}|S)a8Get the location of config files for the current context Returns the string to the environment Parameters ---------- user : bool [default: False] Get the user's .jupyter config directory sys_prefix : bool [default: False] Get sys.prefix, i.e. ~/.envs/my-env/etc/jupyter Fr)rrr)ÚuserÚ sys_prefixÚextdir©rúc/var/www/edux/Edux_v2/venv/lib/python3.10/site-packages/jupyter_server/extension/serverextension.pyÚ_get_config_dirs üÿrújupyter_server_config.dcCs6t||d}t|gtj ||¡d}t|d}||fS)aÏGet an extension manager pointing at the current context Returns the path to the current context and an ExtensionManager object. Parameters ---------- write_dir : str [default: 'jupyter_server_config.d'] Name of config directory to write extension config. user : bool [default: False] Get the user's .jupyter config directory sys_prefix : bool [default: False] Get sys.prefix, i.e. ~/.envs/my-env/etc/jupyter ©r r ©Úread_config_pathÚwrite_config_dir)Úconfig_manager)rr ÚosÚpathÚjoinr )Ú write_dirr r Ú config_dirrÚextension_managerrrrÚ_get_extmanager_for_context)s  þÿrc@s eZdZdS)ÚArgumentConflictN)Ú__name__Ú __module__Ú __qualname__rrrrrBsrÚyzgenerate-configÚBaseExtensionAppr Tz+Apply the operation only for the given userrzApply the operation system-wider zTUse sys.prefix as the prefix for installing extensions (for environments, packaging)ÚpythonúInstall from a Python package)r Úsystemz sys-prefixÚpyr(c@s^eZdZdZeZeZeZ e Z e ddddZ e ddddZe ddddZdd „Zed d „ƒZd S) r$zBase extension installer appFTzWhether to do a user install)ÚconfigÚhelpz Use the sys.prefix as the prefixr&cCsdS)zA default format for messagesz %(message)sr©ÚselfrrrÚ_log_format_defaultsz$BaseExtensionApp._log_format_defaultcCst|j|jdS)Nr)rr r r+rrrr…szBaseExtensionApp.config_dirN)r r!r"Ú__doc__rÚ_log_formatter_clsÚ _base_flagsÚflagsÚ _base_aliasesÚaliasesrÚversionrr r r%r-Úpropertyrrrrrr$usÚntzenabledÚenabledzdisabledÚdisabledz OKÚokz  Xz XcCsP|rdn|}t||d}t|gtj |d¡d}|r!| |¡dS| |¡dS)zZToggle the boolean setting for a given server extension in a Jupyter config file. FrrrN)rr rrrÚenableÚdisable)Ú import_namer7Úparentr r rÚmanagerrrrÚtoggle_server_extension_python–s   þr?ÚToggleServerExtensionAppz*Perform the operation for the current userz!Perform the operation system-widez=Use sys.prefix as the prefix for installing server extensionszEEnable/disable a server extension using frontend configuration files.c@s:eZdZdZdZeZeZeƒZ dZ dZ dd„Z dd„Z dS) r@z.A base class for enabling/disabling extensionsz'jupyter server extension enable/disableÚc Cst|j|jd\}}z]|j |j ¡›d|›¡|j d|›¡|j d|›d¡t|d}| ¡|j }|j d|›d|›dt ›¡|j }|j d urU|  |¡n| |¡|j d |j›d ¡WdSty†}z|j d t›d |›¡WYd}~dSd}~ww)a.Change the status of a named server extension. Uses the value of `self._toggle_value`. Parameters --------- import_name : str Importable Python module (dotted-notation) exposing the magic-named `load_jupyter_server_extension` function rz: z- Writing config: ú - Validating ú...)Únameú ú Tz - Extension successfully Ú.z z Validation failed: N)rr r ÚlogÚinfoÚ_toggle_pre_messageÚ capitalizer Úvalidater4ÚGREEN_OKrÚ _toggle_valuer:r;Ú_toggle_post_messageÚ ExceptionÚRED_X)r,r<rrÚextpkgr4r)ÚerrrrrÚtoggle_server_extensionçs(  ÿ    &€ÿz0ToggleServerExtensionApp.toggle_server_extensioncCs*|jst d¡|jD]}| |¡q dS)ú'Perform the App's actions as configuredz>Please specify a server extension/package to enable or disableN)Ú extra_argsÚsysÚexitrT)r,ÚargrrrÚstarts    ÿzToggleServerExtensionApp.startN)r r!r"r.rDÚ_descÚ descriptionr1rrNrJrOrTrZrrrrr@Ûs 'c@ó$eZdZdZdZdZdZdZdZdS)ÚEnableServerExtensionAppz5An App that enables (and validates) Server Extensionszjupyter server extension enablez€ Enable a server extension in configuration. Usage jupyter server extension enable [--system|--sys-prefix] TÚenablingr7N© r r!r"r.rDr\rNrJrOrrrrr^ór^c@r])ÚDisableServerExtensionAppz&An App that disables Server Extensionsz jupyter server extension disablez‚ Disable a server extension in configuration. Usage jupyter server extension disable [--system|--sys-prefix] FÚ disablingr8Nr`rrrrrb%rarbc@s,eZdZdZdZeZdZdd„Zdd„Z dS) ÚListServerExtensionsAppz3An App that lists (and validates) Server Extensionszjupyter server extension listz # enable all server extensions in a Python package jupyter server extension disable --py # disable all server extensions in a Python package csZeZdZUdZdZeZdZee d<e Z e dfe dfedfdœZee d <‡fd d „Z‡ZS) ÚServerExtensionAppzRoot level server extension appzjupyter server extensionz#Work with Jupyter server extensionsr\zEnable a server extensionzDisable a server extensionzList server extensions)r:r;ÚlistÚ subcommandscs,tƒ ¡d t|jƒ¡}t d|¡dS)rUz, z)Please supply at least one subcommand: %sN)ÚsuperrZrÚsortedrxrWrX)r,Úsubcmds©Ú __class__rrrZ|s zServerExtensionApp.start)r r!r"r.rDrr4r\ÚstrÚ__annotations__Ú _examplesÚexamplesr^rbrdrxÚdictrZÚ __classcell__rrr|rrvns  ýrvÚ__main__)FF)rFF)NNFT)0r.rmrrWÚjupyter_core.applicationrÚjupyter_core.pathsrrrÚ tornado.logrÚ traitletsrÚjupyter_server._versionrÚjupyter_server.extension.configr Ú jupyter_server.extension.managerr r rrrjrr0Úupdater1Úpopr2r3r$rDrhrirMrQr?r[r@r^rbrdr€rvÚlaunch_instanceÚmainr rrrrÚsÈ          ÿÿú þÿù ÿÿú ÿÿúæÿ %  ÿ   ÿÿú þÿù ÿÿú ÿÿúæÿ %;3  ÿ