JuliaLang/julia

Repl session uuid

Open

#44 681 ouverte le 20 mars 2022

Voir sur GitHub
 (4 commentaires) (0 réactions) (0 assignés)Julia (5 773 forks)batch import
REPLfeaturegood first issue

Métriques du dépôt

Stars
 (48 709 stars)
Métriques de merge PR
 (Merge moyen 20j 6h) (157 PRs mergées en 30 j)

Description

I would like to replay a previous session but I don't know where it starts/ends. It would be helpful to have a repl session uuid in the log.

Guide contributeur

Direction de recherche
Étudiez le module REPL dans le code source de Julia (probablement dans base/REPL.jl) pour comprendre comment les journaux de session sont générés. Ajoutez un UUID pour identifier chaque session, en veillant à ce qu'il soit imprimé au début du journal de session. Envisagez d'utiliser le module UUID de Julia (random de Julia). Testez avec quelques sessions REPL.
Stack technique
Aucun
Domaine
cli
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Aucun
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
80