A
arktype•14mo ago
OnkelTem

non-empty string - how to?

How to declare a schema with 'string' type but... not empty, i.e. which is banning ""?
31 Replies
Dimava
Dimava•14mo ago
string>0
OnkelTem
OnkelTemOP•14mo ago
Not obvious, but that's fine. All the questions I ask I maintain in my Obsidian vault. I'm gonna share it once it gets more different examples. In the view of lacking documentation it can be handy, as a cook book or rather - a cheet-sheet
Dimava
Dimava•14mo ago
it will get obsolete since beta
OnkelTem
OnkelTemOP•14mo ago
haha, what? It won't? Ah Got you LOL Ok, I'll update my answers 🙂 Is beta that different?
Dimava
Dimava•14mo ago
some things will change e.g. it's no more morph(t, fn) but t.morph(fn) and so on
OnkelTem
OnkelTemOP•14mo ago
haha, I don't know what morph is so... currently it doesn't make any difference for me I'm still at very early stages of comprehension/learning ark
Dimava
Dimava•14mo ago
Okay It's no more union(t, t2) but t.or(t2) and so on (type([t1,'|',t2]) still works)
OnkelTem
OnkelTemOP•14mo ago
But I'm literally getting rid of almost all the types I had in my project
Unknown User
Unknown User•14mo ago
Message Not Public
Sign In & Join Server To View
OnkelTem
OnkelTemOP•14mo ago
Nothing to be proud about haha. It's a huge pile. Only recently did I think to start distributing data across different vaults. My main vault is not refactored yet, it has lots of things. Almost no any system. Instead, when I need some specific (structure), that I know will be convenient, I just use it in a note. Hoping I can find it later.
Unknown User
Unknown User•14mo ago
Message Not Public
Sign In & Join Server To View
OnkelTem
OnkelTemOP•14mo ago
I still don't use tags, because I never managed to come up with an appropriate system Oh yeah
Unknown User
Unknown User•14mo ago
Message Not Public
Sign In & Join Server To View
OnkelTem
OnkelTemOP•14mo ago
My pile:
No description
Unknown User
Unknown User•14mo ago
Message Not Public
Sign In & Join Server To View
OnkelTem
OnkelTemOP•14mo ago
I don't have an idea why it looks this way haha
Unknown User
Unknown User•14mo ago
Message Not Public
Sign In & Join Server To View
OnkelTem
OnkelTemOP•14mo ago
So I was linking things up to some point, but them I gave up That's why it looks really connected A year ago when I started to learn Turkish language I created a new vault for it and used there a structure of my own invention. Let's see it's graph. Never looked at it before
Unknown User
Unknown User•14mo ago
Message Not Public
Sign In & Join Server To View
OnkelTem
OnkelTemOP•14mo ago
No description
Unknown User
Unknown User•14mo ago
Message Not Public
Sign In & Join Server To View
OnkelTem
OnkelTemOP•14mo ago
I see. I think I use the same approach with in Turkish vault. Where 'subject'-s are unknown words
OnkelTem
OnkelTemOP•14mo ago
A regular text-type note would be:
No description
OnkelTem
OnkelTemOP•14mo ago
Every link - is a dictionary link. And dictionary - is a subfolder of the vault ok, this is the last time I don't know how to make nice inline gif-like videos that you guys insert here and there, haha
OnkelTem
OnkelTemOP•14mo ago
No description
OnkelTem
OnkelTemOP•14mo ago
So it's actually a full-functional hyper-text dictionary I'm sure that's what HTML was invented for in the first place 😉 Damn, gif is a bad idea. I stupid... It should be possible to pause. Haha
ssalbdivad
ssalbdivad•14mo ago
You just use MP4s I think Windows built in a screen recorder for particular areas. You can also you an open source one like ShareX (don't remember if that's cross-platform)
OnkelTem
OnkelTemOP•14mo ago
Yeah, I'm looking for something that would do it quickly. Becasue I have to use OSB Studio everytime 🙂 Looking at ShareX, thanks Ah, it's for windows
Dimava
Dimava•14mo ago
@OnkelTem there's WinG recorder try it You don't even need to install it, you just hit WinG and it's there In WinAltR I guess
OnkelTem
OnkelTemOP•14mo ago
I'm on Linux
Dimava
Dimava•14mo ago
Finally someone on Linux Literally everyone else here uses WSL Any Linux recommendations? ( #off-topic )
Want results from more Discord servers?
Add your server