TL;DR

** Avec GitPod, vous pouvez utiliser à la fois IDE et jupyter sur votre iPad, donc c'est génial! ** **

Caractéristiques de GitPod

GitPod a les fonctionnalités suivantes.

IDE de type code VS disponible
Disponible en chrome et firefox
Disponible avec GitHub
Le référentiel public est gratuit, le référentiel privé est disponible moyennant des frais (9 $ / mois ~)

Cet objectif et cette procédure

Sur iPad Chrome Construisez un environnement de programmation Python (IDE et jupyterlab). La procédure générale est la suivante.

Créez un référentiel sur GitHub et mettez 3 fichiers
Accédez à GitPod
Lancez jupyterlab

Préparation sur GitHub

Placez les trois fichiers suivants dans un référentiel approprié. Le premier fichier est le fichier docker utilisé sur GitPod.

`.gitpod.Dockerfile`


FROM python:3.7
RUN apt update -y && apt upgrade -y
RUN pip install pipenv

Le deuxième fichier est le fichier de configuration GitPod. La raison de l'ouverture du port 8888 est d'utiliser jupyterlab.

`.gitpod.yml`



image:
  file: .gitpod.Dockerfile

ports:
- port: 8080
  onOpen: open-preview
- port: 8888
  onOpen: open-browser

Le troisième fichier est «Pipfile». Cela n'est pas nécessaire car il s'agit d'un fichier préparé en supposant que vous construisez un environnement virtuel avec pipenv. (Si vous utilisez pipenv, vous pouvez utiliser l'environnement local tel qu'il est sur GitPod, c'est donc recommandé.) Je pense que ce serait bien si le paquet contenait jupyterlab et pandas.

`Pipfile`


[[source]]
name = "pypi"
url = "https://pypi.org/simple"
verify_ssl = true

[dev-packages]

[packages]
pandas = "*"
jupyterlab = "*"
matplotlib = "*"

[requires]
python_version = "3.7"

Jusqu'à présent, je pense que les 3 fichiers suivants (et README.md) sont situés directement sous le référentiel.

`github_repository`


(Racine du référentiel)
 |-.gitpod.Dockerfile
 |-.gitpod.yml
 |-Pipfile
 |-README.md

Accéder à GitPod

GitPodへのアクセスはGitHubリポジトリのURLにgitpod.io/#を付与するだけです。 Par exemple, si l'URL du référentiel GitHub est:

https://github.com/[user_name]/[repository_name]

L'URL pour accéder à GitPod est la suivante:

https://gitpod.io/#github.com/[user_name]/[repository_name]

Il est difficile de taper à chaque fois, il est donc pratique de mettre un lien dans README.md sur GitHub.

L'IDE GitPod prend environ 10 minutes pour démarrer la première fois, mais cela prend 1 à 2 minutes à partir de la deuxième fois.

Lancez jupyterlab.

Puisqu'il y a un Pipfile dans le référentiel, vous pouvez démarrer jupyterlab simplement en appuyant sur la commande suivante.

$ pipenv install
$ pipenv shell
([repository_name])$ jupyter lab

Lancez le shell pipenv,

Vous pouvez également démarrer et vous connecter à jupyterlab sur votre iPad.

Conseils d'utilisation de GitPod sur iPad

Si vous utilisez GitPod sur votre iPad, vous verrez une longue barre en bas de l'écran avec des candidats de prédiction. (Barre noire en deux couleurs en bas de l'image)

Cela disparaît lorsque vous désactivez «Assistance à la saisie» dans «Paramètres» -> «Général / Clavier» sur l'iPad.

en conclusion

Il y a de plus en plus de choses que vous pouvez faire avec votre iPad, De nos jours, je pense que l'iPad est vraiment suffisant pour une programmation simple. (À propos, cet article est également écrit sur l'iPad.)

Avec GitPod, vous pouvez utiliser à la fois IDE et jupyter sur votre iPad, donc c'est génial!

Caractéristiques de GitPod

Cet objectif et cette procédure

Préparation sur GitHub

.gitpod.Dockerfile

.gitpod.yml

Pipfile

github_repository