home.social

#налаштування — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #налаштування, aggregated by home.social.

  1. CW: Налаштування GHCI, інтерпритатора :haskell:

    Під час вивчання Haskell, та й, мабуть, під час роботи з ним, часто використовується інтерпретатор. На жаль, за замовчуванням він не дуже зручний, але частково ми можемо виправити це простими налаштуваннями.

    Всі налаштування робляться через його команду :set. До прикладу, часто може знадобитися переглядати типи функцій, чи їхніх значень після виконання. Робиться це командою :type передаючи певну конструкцію, але можна увімкнути автоматичний друк типів при виконанні кожної інструкції командою :set +t. Після цього виконання буде виглядати так:

    ghci> 4
    4
    it :: Num a => a
    ghci> 'N'
    'N'
    it :: Char
    ghci> 2 + 2 * 4
    10
    it :: Num a => a
    

    Тепер нам не потрібно виконувати окремі команди, щоб побачити значення та тип результату.

    Також можна змінити підказку (prompt) щоб не дивитись кожнісінький раз на те що ми й так знаємо, а саме що ми у ghci.

    ghci> :set prompt "> "
    > "It's a String"
    "It's a String"
    it :: String
    >
    

    Це вже краще, але далеко до ідеалу, тому додамо ще якусь корисну інформацію, окрім прибирання зайвої, наприклад номер рядка й завантажений модуль.

    > :set prompt "[%l] %s> "
    [7] Prelude>
    

    Так вже цікавіше.

    Є ще одна штучка котра може нам іноді знадобитись при тестах.

    [1] Prelude> f = do
    
    <interactive>:1:5: error: [GHC-82311]
        Empty 'do' block
        Suggested fix: Perhaps you intended to use NondecreasingIndentation
    [2] Prelude> :set +m
    [3] Prelude> f = do
    ghci|   putStrLn "Привіт всім хаскелятам та хаскелищам!"
    ghci|
    [6] Prelude> f
    Привіт всім хаскелятам та хаскелищам!
    [7] Prelude>
    

    :set +m дозволяє писати багато рядкові конструкції.

    Це все добре, але після перезапуску, всі налаштування загубляться у просторі всесвіту й ви втратите свої персональні налаштунки, а допомагає уникнути цього .ghci файл у домашній теці, або у поточній. Просто запишіть у нього всі необхідні команди й ви спаслись.

    #ukrhaskell #haskell #ghci #налаштування #prompt #set

  2. CW: Налаштування GHCI, інтерпритатора :haskell:

    Під час вивчання Haskell, та й, мабуть, під час роботи з ним, часто використовується інтерпретатор. На жаль, за замовчуванням він не дуже зручний, але частково ми можемо виправити це простими налаштуваннями.

    Всі налаштування робляться через його команду :set. До прикладу, часто може знадобитися переглядати типи функцій, чи їхніх значень після виконання. Робиться це командою :type передаючи певну конструкцію, але можна увімкнути автоматичний друк типів при виконанні кожної інструкції командою :set +t. Після цього виконання буде виглядати так:

    ghci> 4
    4
    it :: Num a => a
    ghci> 'N'
    'N'
    it :: Char
    ghci> 2 + 2 * 4
    10
    it :: Num a => a
    

    Тепер нам не потрібно виконувати окремі команди, щоб побачити значення та тип результату.

    Також можна змінити підказку (prompt) щоб не дивитись кожнісінький раз на те що ми й так знаємо, а саме що ми у ghci.

    ghci> :set prompt "> "
    > "It's a String"
    "It's a String"
    it :: String
    >
    

    Це вже краще, але далеко до ідеалу, тому додамо ще якусь корисну інформацію, окрім прибирання зайвої, наприклад номер рядка й завантажений модуль.

    > :set prompt "[%l] %s> "
    [7] Prelude>
    

    Так вже цікавіше.

    Є ще одна штучка котра може нам іноді знадобитись при тестах.

    [1] Prelude> f = do
    
    <interactive>:1:5: error: [GHC-82311]
        Empty 'do' block
        Suggested fix: Perhaps you intended to use NondecreasingIndentation
    [2] Prelude> :set +m
    [3] Prelude> f = do
    ghci|   putStrLn "Привіт всім хаскелятам та хаскелищам!"
    ghci|
    [6] Prelude> f
    Привіт всім хаскелятам та хаскелищам!
    [7] Prelude>
    

    :set +m дозволяє писати багато рядкові конструкції.

    Це все добре, але після перезапуску, всі налаштування загубляться у просторі всесвіту й ви втратите свої персональні налаштунки, а допомагає уникнути цього .ghci файл у домашній теці, або у поточній. Просто запишіть у нього всі необхідні команди й ви спаслись.

    #ukrhaskell #haskell #ghci #налаштування #prompt #set

  3. CW: Налаштування GHCI, інтерпритатора :haskell:

    Під час вивчання Haskell, та й, мабуть, під час роботи з ним, часто використовується інтерпретатор. На жаль, за замовчуванням він не дуже зручний, але частково ми можемо виправити це простими налаштуваннями.

    Всі налаштування робляться через його команду :set. До прикладу, часто може знадобитися переглядати типи функцій, чи їхніх значень після виконання. Робиться це командою :type передаючи певну конструкцію, але можна увімкнути автоматичний друк типів при виконанні кожної інструкції командою :set +t. Після цього виконання буде виглядати так:

    ghci> 4
    4
    it :: Num a => a
    ghci> 'N'
    'N'
    it :: Char
    ghci> 2 + 2 * 4
    10
    it :: Num a => a
    

    Тепер нам не потрібно виконувати окремі команди, щоб побачити значення та тип результату.

    Також можна змінити підказку (prompt) щоб не дивитись кожнісінький раз на те що ми й так знаємо, а саме що ми у ghci.

    ghci> :set prompt "> "
    > "It's a String"
    "It's a String"
    it :: String
    >
    

    Це вже краще, але далеко до ідеалу, тому додамо ще якусь корисну інформацію, окрім прибирання зайвої, наприклад номер рядка й завантажений модуль.

    > :set prompt "[%l] %s> "
    [7] Prelude>
    

    Так вже цікавіше.

    Є ще одна штучка котра може нам іноді знадобитись при тестах.

    [1] Prelude> f = do
    
    <interactive>:1:5: error: [GHC-82311]
        Empty 'do' block
        Suggested fix: Perhaps you intended to use NondecreasingIndentation
    [2] Prelude> :set +m
    [3] Prelude> f = do
    ghci|   putStrLn "Привіт всім хаскелятам та хаскелищам!"
    ghci|
    [6] Prelude> f
    Привіт всім хаскелятам та хаскелищам!
    [7] Prelude>
    

    :set +m дозволяє писати багато рядкові конструкції.

    Це все добре, але після перезапуску, всі налаштування загубляться у просторі всесвіту й ви втратите свої персональні налаштунки, а допомагає уникнути цього .ghci файл у домашній теці, або у поточній. Просто запишіть у нього всі необхідні команди й ви спаслись.

    #ukrhaskell #haskell #ghci #налаштування #prompt #set

  4. CW: Досвід роботи з додатком Asus Router

    Оскільки нещодавно у мене з'явився маршрутизатор від Asus, мені потрібно було його налаштувати, але тоді не було світла. Підключивши роутер до повербанку, я намагався провести початкові налаштування за допомогою спеціального додатку, але щось пішло не за планом.

    Спочатку програма ніяк не могла знайти його, хоча я підключився до його стандартної точки доступу. Після того, як нарешті виявила роутер, вона показала кроки з початкового налаштування. Я пройшов їх, після чого програма почала застосовувати налаштування, але після завершення насправді нічого не було застосовано. Я зробив налаштування через комп'ютер, і все збереглося.

    Після початкових налаштувань програма дає можливість робити звичайні налаштування, як в адмінці, але чомусь не всі функції доступні, як у веб-адмінці.

    Висновки: Ця програма — повна фігня, якою не варто користуватися. Виявив тільки одну трохи корисну функцію — моніторинг навантаження.

    #asus #router #asus_router #app #android #налаштування #маршрутизатор #роутер

  5. CW: Заміна Samsung TalkBack на Google TalkBack на пристроях Samsung Galaxy.

    Раніше на смартфонах від компанії Samsung, до Android 11 + One UI 2.0 (2020 р.), був установлений власна програма екранного доступу Voice Assistant. У Android 11 Voice Assitant видалили й замінили його на власне відгалуження TalkBack з деякими модифікаціями та більшою інтеграцією в оболонку One UI. Але на жаль їхня модифікація оновлюється набагато рідше тому можливо ви захочете замінити його на оригінальну версію. На даний момент Samsung TalkBack у Galaxy Store версії 13.5.02.3, а оригінальна версія в Play Store 14.1. Не завжди добре встановлювати найновішу версію, але часто вона може працювати краще у нових додатках, або мати якісь виправлення старих помилок.

    Щоб використовувати Google TalkBack вам спочатку потрібно встановити Android Accessibility Suite з Play Store.

    Наступним кроком нам потрібно вимкнути Samsung TalkBack, щоб вони не конфліктували. Це можна зробити, або через сторонні програми з використанням root прав, або через ADB. Я використав ADB оскільки немає root прав на цьому пристрої. Після увімкнення Налагодження USB у Параметри розробника і підключенні пристою до компʼютера потрібно виконати наступну команду.

    Перед вимкненням через ADB краще вимкнути його на телефоні сполученням клавіш або у налаштуваннях спеціальних можливостей.

    adb shell pm disable com.samsung.android.accessibility.talkback
    

    Якщо ця команда не працює і видає помилку виконайте наступну команду.

    adb shell pm disable-user --user 0 com.samsung.android.accessibility.talkback
    

    Після цього ми можемо зайти у налаштування і налаштувати увімкнення нового TalkBack на сполучення кнопок живлення та збільшення звуку або утримання двох кнопок гучності. Також ми можемо додати пункт TalkBack у меню спеціальних можливостей.

    Зауваження: Пункт TalkBack у налаштуваннях спеціальних можливостей не буде працювати.

    Щоб було простіше ми можемо одразу запустити Google TalkBack через ADB за допомоги команди:

    adb shell settings put secure enabled_accessibility_services com.google.android.marvin.talkback/com.google.android.marvin.talkback.TalkBackService
    

    Більше команд для керування функціями спеціальними можливостями тут.

    #android #samsung #google #TalkBack #ADB #accessability #galaxy #voiceassistanct #заміна #налаштування #доступність #спеціальні_можливості

  6. CW: Заміна Samsung TalkBack на Google TalkBack на пристроях Samsung Galaxy.

    Раніше на смартфонах від компанії Samsung, до Android 11 + One UI 2.0 (2020 р.), був установлений власна програма екранного доступу Voice Assistant. У Android 11 Voice Assitant видалили й замінили його на власне відгалуження TalkBack з деякими модифікаціями та більшою інтеграцією в оболонку One UI. Але на жаль їхня модифікація оновлюється набагато рідше тому можливо ви захочете замінити його на оригінальну версію. На даний момент Samsung TalkBack у Galaxy Store версії 13.5.02.3, а оригінальна версія в Play Store 14.1. Не завжди добре встановлювати найновішу версію, але часто вона може працювати краще у нових додатках, або мати якісь виправлення старих помилок.

    Щоб використовувати Google TalkBack вам спочатку потрібно встановити Android Accessibility Suite з Play Store.

    Наступним кроком нам потрібно вимкнути Samsung TalkBack, щоб вони не конфліктували. Це можна зробити, або через сторонні програми з використанням root прав, або через ADB. Я використав ADB оскільки немає root прав на цьому пристрої. Після увімкнення Налагодження USB у Параметри розробника і підключенні пристою до компʼютера потрібно виконати наступну команду.

    Перед вимкненням через ADB краще вимкнути його на телефоні сполученням клавіш або у налаштуваннях спеціальних можливостей.

    ADB shell pm disable com.samsung.android.accessibility.TalkBack
    

    Якщо ця команда не працює і видає помилку виконайте наступну команду.

    ADB shell pm disable-user --user 0 com.samsung.android.accessibility.TalkBack
    

    Після цього ми можемо зайти у налаштування і налаштувати увімкнення нового TalkBack на сполучення кнопок живлення та збільшення звуку або утримання двох кнопок гучності. Також ми можемо додати пункт TalkBack у меню спеціальних можливостей.

    Зауваження: Пункт TalkBack у налаштуваннях спеціальних можливостей не буде працювати.

    Щоб було простіше ми можемо одразу запустити Google TalkBack через ADB за допомоги команди:

    ADB shell settings put secure enabled_accessibility_services com.google.android.marvin.TalkBack/com.google.android.marvin.TalkBack.TalkBackService
    

    Також можна й вимкнути через ADB:

    ADB shell settings put secure enabled_accessibility_services com.android.TalkBack/com.google.android.marvin.TalkBack.TalkBackService
    

    Більше команд для керування функціями спеціальними можливостями тут.

    #android #samsung #google #TalkBack #ADB #accessability #galaxy #voiceassistanct #заміна #налаштування #доступність #спеціальні_можливості

  7. CW: Заміна Samsung TalkBack на Google TalkBack на пристроях Samsung Galaxy.

    Раніше на смартфонах від компанії Samsung, до Android 11 + One UI 2.0 (2020 р.), був установлений власна програма екранного доступу Voice Assistant. У Android 11 Voice Assitant видалили й замінили його на власне відгалуження TalkBack з деякими модифікаціями та більшою інтеграцією в оболонку One UI. Але на жаль їхня модифікація оновлюється набагато рідше тому можливо ви захочете замінити його на оригінальну версію. На даний момент Samsung TalkBack у Galaxy Store версії 13.5.02.3, а оригінальна версія в Play Store 14.1. Не завжди добре встановлювати найновішу версію, але часто вона може працювати краще у нових додатках, або мати якісь виправлення старих помилок.

    Щоб використовувати Google TalkBack вам спочатку потрібно встановити Android Accessibility Suite з Play Store.

    Наступним кроком нам потрібно вимкнути Samsung TalkBack, щоб вони не конфліктували. Це можна зробити, або через сторонні програми з використанням root прав, або через ADB. Я використав ADB оскільки немає root прав на цьому пристрої. Після увімкнення Налагодження USB у Параметри розробника і підключенні пристою до компʼютера потрібно виконати наступну команду.

    Перед вимкненням через ADB краще вимкнути його на телефоні сполученням клавіш або у налаштуваннях спеціальних можливостей.

    adb shell pm disable com.samsung.android.accessibility.talkback
    

    Якщо ця команда не працює і видає помилку виконайте наступну команду.

    adb shell pm disable-user --user 0 com.samsung.android.accessibility.talkback
    

    Після цього ми можемо зайти у налаштування і налаштувати увімкнення нового TalkBack на сполучення кнопок живлення та збільшення звуку або утримання двох кнопок гучності. Також ми можемо додати пункт TalkBack у меню спеціальних можливостей.

    Зауваження: Пункт TalkBack у налаштуваннях спеціальних можливостей не буде працювати.

    Щоб було простіше ми можемо одразу запустити Google TalkBack через ADB за допомоги команди:

    adb shell settings put secure enabled_accessibility_services com.google.android.marvin.talkback/com.google.android.marvin.talkback.TalkBackService
    

    Більше команд для керування функціями спеціальними можливостями тут.

    #android #samsung #google #TalkBack #ADB #accessability #galaxy #voiceassistanct #заміна #налаштування #доступність #спеціальні_можливості