Can't find option "local terminal" (Settings -> System -> Developer options) in android one

Question

I want to enable terminal on my android phone. (I have phone Xiomi Mi A1 with OS "Android one").

I enabled "Developer options" (by pressing several time on "Build number" item in settings). Settings appeared - but there is no item "Local terminal".

One more strange thing: after I enabled "Developer options" - in search results, in settings - appeared result "Local terminal" when I type "terminal" - but it navigate me only to System -> Developer options... And there is no such option - "Local terminal".

Why? And what to do?

Answer 1

I found an answer on issue tracker of Android OS. https://issuetracker.google.com/issues/111569269

That setting ("Local terminal") existed in fact, but wasn't supported for a long time. There is only a leftover - bug, that I found in "Search settings". I received an answer from dev team, that it was fixed already - but in version 8.1 - it is still there.

Proof, that setting existed (check source code on github): https://github.com/aosp-mirror/platform_frameworks_base/search?q=local+terminal&unscoped_q=local+terminal