- Open a notebook you want to export.
- Click on the ‘File’ menu button. File options will appear.
- Click on ‘Download as’ to see file options.
- Select the appropriate file extension.
- A download of exported file will begin shortly.
- The file will be saved at a location specified or the default download location.
Archives
How to upload files to JupyterHub?
- Click on the ‘Upload’ button on the home page.
- A file picker will open.
- Select the file from your computer and Click ‘Open’ button.
- A file name with options to confirm or cancel the upload action will appear in the first row.
- Click the ‘Upload’ button to confirm.
How to download files from JupyterHub?
- Select a file/files by clicking checkbox on the left.
- Relevant options will appear at the top.
- Click on the ‘Download’ button.
- A download will begin. The file will be saved at a location specified or the default download location.
- The downloaded notebook will be an .ipynb file.
How to rename a file/folder?
- Select a file/folder by clicking on the checkbox on the left.
- Relevant options will appear at the top.
- Click on the ‘Rename’ button.
- Write a new name in the dialogue box.
- Click the ‘Rename’ button to complete the action.
Currently open file can be renamed by clicking on the file name in the title bar and following steps 4 and 5 from above.
How to copy/duplicate files?
- Select a file by clicking on the checkbox on the left.
- Relevant options will appear at the top.
- Click on the ‘Duplicate’ button.
- Confirm the action by clicking on the ‘Duplicate’ button.
- A duplicate file will be created with ‘{filename}-Copy1’.
How to move files/folders?
A running notebook must be shutdown before it can be moved.
- Select a file/folder by clicking on the checkbox on the left.
- Relevant options will appear at the top.
- Click on the ‘Move’ button.
- Provide the path of the destination folder in the dialogue box.
- Click the ‘Move’ button to complete the action.
How to delete files/folders?
A folder must be empty before it can be deleted.
- Select a file/folder by clicking on checkbox on the left.
- Relevant options will appear at the top.
- Click on the bin icon.
- Confirm the action to delete a file/folder by clicking on the ‘Delete’ button.
- Multiple files can be deleted at once by selecting them all at once in the step 1.
How to open a terminal?
- Navigate to ‘Files’ tab on Home page.
- Click ‘New▼’ drop-down button.
- Select the ‘Terminal’ option.
- A new terminal will be opened in a new tab.
How to create a text file?
- Navigate to ‘Files’ tab on Home page.
- Click ‘New▼’ drop-down button.
- Select the ‘Text File’ option.
- A new text file will be created in the current directory and opened in a new tab.
- Click on the ‘untitled.txt’ in the title bar to rename the file.
How to create a folder?
- Navigate to ‘Files’ tab on Home page.
- Click ‘New▼’ drop-down button.
- Select the ‘Folder’ option.
- A new folder will be created in the current directory and named ‘Untitled Folder’.