Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

completion #49

Closed
jzck opened this issue Mar 7, 2017 · 2 comments
Closed

completion #49

jzck opened this issue Mar 7, 2017 · 2 comments
Assignees

Comments

@jzck
Copy link
Owner

jzck commented Mar 7, 2017

Il y a des choses qui ne marchent pas exactement comme zsh, ici je vais citer seulement ce qui n'est pas acceptable:

  • /ho[tab] me propose tous les fichiers dans / alors qu'il n'y a que /home qui correspond (ici zsh complete affiche /home/ : à noter qu'il ajoute le / final pour pouvoir continuer de tabber directement) (le probleme à l'air d'etre lié a la complémetion "document" lorsque c'est en début de commande: ./src/[tab] sort la liste des ./ ) !

  • ls < [tab] ne me propose pas de completion (a noter que j'ai bien mis un espace apres le <, j'imagine que le [tab] collé au < doit poser un probleme de reconaissance de symboles du shell donc si tu ne veux pas l'implementer je comprends...)

J'ai trouvé d'autres erreurs mais je les soupçonne d'être des dérivées de celle deja citées.

Bon courage!

Gwojda pushed a commit that referenced this issue Mar 8, 2017
@Gwojda Gwojda mentioned this issue Mar 8, 2017
@Gwojda
Copy link
Collaborator

Gwojda commented Mar 8, 2017

Normalement c'est résolu

Les problemes du genre "ls | [tab]" qui n'affiche rien sont voulu -> si on a pas assez de places pour tout afficher, on affiche rien pour ne pas s'y perdre
J'ai rajouté aussi la gestion des chemins commencant par un ~

@Gwojda Gwojda closed this as completed Mar 8, 2017
@jzck
Copy link
Owner Author

jzck commented Mar 10, 2017

je re-ouvre tant que c'est pas mergé, de plus ls | ./src/[tab] ne devrait pas etre trop grand ya pas grand chose dedans

@jzck jzck reopened this Mar 10, 2017
@jzck jzck closed this as completed Mar 12, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants