JezK
Edit File: general.cpython-38.pyc
U �C�e� � @ sz d dl Z d dlZd dlZd dlZd dlZd dlZd dlZd dlm Z dZ dZdd� Zdd� Z d d � Zddd �Zdd� ZdS )� N��Pathz0.0.1� c G s� dt jkrt jd }nHt�� }|s*td��t�� }|dkrPt j�|dddd�}nt j�|d�}zt|�j d d � W n t k r� Y nX | D ]}t j�||�}q�|S )z�Returns the MySQL Shell's user directory The directory will be created if it does not exist yet Args: *argv: The list of directories to be added to the path Returns: The plugin directory path as string ZMYSQLSH_USER_CONFIG_HOMEzNo home directory setZWindowsZAppDataZRoamingZMySQL�mysqlshz.mysqlshT��parents)�os�environr �home� Exception�platform�system�path�join�mkdir�FileExistsError)�argvZ shell_dirZhome_dir�os_name�arg� r �B/usr/lib/mysqlsh/python-packages/mysqlsh/plugin_manager/general.py�get_shell_user_dir&