curusarn / resh

RESH ❯❯ Contextual shell history for zsh and bash
MIT License
1.01k stars 19 forks source link

history entries should have sequential IDs #112

Closed curusarn closed 4 years ago

curusarn commented 4 years ago

Desc

each history entry should be uniquely identifiable using: sessionID + seqID

Why

this will be useful e.g. when you delete a history record locally that is already synchronized to other devices. Deleting will clear the record and mark it as deleted - other replicas of the record will be cleared and marked during sync.

curusarn commented 4 years ago

sequential IDs have too many edge-cases; we are using random UUIDs instead