in Education by
Has anyone managed to run an ipynb Python notebook using a local kernel but connecting to a remote GitHub repository using the GitHub Repositories extenstion. I can open the ipynb file directly from the GitHub repo but cannot connect to a kernel because it doesn't seem to find the local cached version of the notebook to run. Error message: [C 10:22:20.876 NotebookApp] Bad config encountered during initialization: No such notebook dir: ''/githubuser/reponame'' Using: MacOS VSC 1.66 GitHub Repositories extension v0.28.0 Tried multiple Python kernels. Anyone got any ideas? JavaScript questions and answers, JavaScript questions pdf, JavaScript question bank, JavaScript questions and answers pdf, mcq on JavaScript pdf, JavaScript questions and solutions, JavaScript mcq Test , Interview JavaScript questions, JavaScript Questions for Interview, JavaScript MCQ (Multiple Choice Questions)

1 Answer

0 votes
by
I am using windows, and it works well on my side. I think this extension works well with the local python environment. The problem you have run across looks like the problem of jupyter configuration. You can execute jupyter --paths to get the jupyter configuration path. It should be “/Users/UserName/.jupyter/jupyter_notebook_config.py” on the MacOs. You can refer to here for the details of jupyter_notebook_config.py. Then you need to modify c.NotebookApp.notebook_dir = to a existing path or just comment it.

Related questions

0 votes
    How do you push a file from your local system to the GitHub repository using Git?...
asked Oct 4, 2020 in Technology by Editorial Staff
0 votes
    I pulled a project from GitHub a few days ago. I've since discovered that there are several forks on GitHub, ... those forks I pulled? Select the correct answer from above options...
asked Feb 2, 2022 in Education by JackTerrance
0 votes
    What are the benefit of storing JARS/external dependencies in the local repository instead of a remote one?...
asked May 4, 2021 in Technology by Editorial Staff
0 votes
    How to Reset local repository branch to be just like remote repository HEAD?...
asked Jan 7, 2021 in Technology by JackTerrance
0 votes
    How to push a new local branch to a remote Git repository and track it too?...
asked Jan 7, 2021 in Technology by JackTerrance
0 votes
    Which of the following is the correct way of creating GitHub repository in to well labelled commits? (a) ... and answers pdf, Data Science interview questions for beginners...
asked Oct 30, 2021 in Education by JackTerrance
0 votes
    What is the git command that downloads any repository from GitHub to your computer?...
asked Oct 4, 2020 in Technology by Editorial Staff
0 votes
    I'm trying to open up a PDF as an image using Wand. If I run the code below in Jupyter Notebook ... , JavaScript Questions for Interview, JavaScript MCQ (Multiple Choice Questions)...
asked Apr 21, 2022 in Education by JackTerrance
0 votes
    Which command can you use to update remote refs with local refs? A. git push B. git fetch C. git pull D. git update...
asked Dec 17, 2022 in Technology by JackTerrance
0 votes
    When I run my Dash app from the command line using export PYTHONPATH=./src/ && python ./src/pdv/ ... JavaScript Questions for Interview, JavaScript MCQ (Multiple Choice Questions)...
asked Apr 6, 2022 in Education by JackTerrance
0 votes
    What is the command to delete a branch in your remote repository? A. git delete branchname B. git branch -d branchname C. git push origin -d branchname D. None of the options...
asked Dec 20, 2022 in Technology by JackTerrance
0 votes
    we are using git in Team Foundation Service, and we are trying to find a way to delete a remote ... /DefaultCollection/_git/Xxxxxx' Select the correct answer from above options...
asked Feb 1, 2022 in Education by JackTerrance
0 votes
    Explain How to change the URI (URL) for a remote Git repository?...
asked Jan 7, 2021 in Technology by JackTerrance
0 votes
    What is the command to delete a branch in your remote repository? (1)git branch -d branchname (2)None of the options (3)git push origin -d branchname (4)git delete branchname...
asked Oct 26, 2020 in Technology by JackTerrance
0 votes
    What is the command to delete a branch in your remote repository? (1)git branch -d branchname (2)None of the options (3)git push origin -d branchname (4)git delete branchname...
asked Oct 26, 2020 in Technology by JackTerrance
...