You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Problem: need to get data out of dat. sometimes you want it deleted, other times you want to just copy it out.
Proposal 1:
dat <files/rows> move <dataset> <out-filename>
copies and removes the data from dat
dat <files/rows> copy <dataset> <out-filename>
copies the data from dat. data isn't removed
Proposal 2:
dat <files/rows> copy <dataset> <out-filename>
copies the data from dat to a file. if the user wants to remove the data, they have to run dat rm or dat delete
the benefits of proposal 2 are that a user might not recognize that 'move' will actually remove the data in dat and could lead to small confusion.
proposal two adds a fundamental assumption: the only command that removes data from dat is dat rm or dat delete
The text was updated successfully, but these errors were encountered:
Problem: need to get data out of dat. sometimes you want it deleted, other times you want to just copy it out.
Proposal 1:
dat <files/rows> move <dataset> <out-filename>
copies and removes the data from dat
dat <files/rows> copy <dataset> <out-filename>
copies the data from dat. data isn't removed
Proposal 2:
dat <files/rows> copy <dataset> <out-filename>
copies the data from dat to a file. if the user wants to remove the data, they have to run
dat rm
ordat delete
dat rm
ordat delete
The text was updated successfully, but these errors were encountered: