In NixOS, how to add a user to the sudoers file?












4















I installed and am trying to get started with NixOS, and am trying to add my user to the sudoers file.



So that I'm not running all my commands as root I created a user following Chapter 7. User Management of the NixOS manual. That is, I ran



# useradd -m matthew
# su - matthew -c "true"
# passwd matthew
Enter new UNIX password: ***
Retype new UNIX password: ***


And also I added



users.extraUsers.matthew = {
isNormalUser = true;
home = "/home/matthew";
extragroups = [ "wheel" "networkmanager" ];
}


to /etc/nixos/configuration.nix. But still I am not able to run sudo as matthew.
For example, when I try to open sudo's man page with sudo, I get the matthew is not in the sudoers file error.



$ sudo man sudo
[sudo] password for matthew:
matthew is not in the sudoers file. This incident will be reported.


Then I tried following advice on how to add a user to the sudoers file in other distributions, namely editing with $ visudo. But when I run that, nixos tells me not to edit that file. That is, running



$ visudo


opens /etc/sudoers.tmp with first line reading



# Don't edit this file. Set the NixOS option ‘security.sudo.configFile’ instead.


How do I set the NixOS option ‘security.sudo.configFile’?










share|improve this question

























  • Breadcrumb: nixos.org/nixos/manual/#sec-user-management

    – Jeff Schaller
    Jul 9 '17 at 23:33











  • @JeffSchaller thanks for the comment; I've tried following the instructions on that page. That is, I added the 'users.extraUsers.matthew' block to my '/etc/nixos/configuration.nix' and also ran 'useradd -m matthew' and 'su - alice -c "true"', and set password and all. Still getting the 'not in sudoers file' error.

    – mherzl
    Jul 10 '17 at 0:52













  • It's odd that this doesn't work. I happen to be working with a fresh NixOS install today, and adding "wheel" to extraGroups worked just fine. Note that it's extraGroups and not extragroups.

    – shadowtalker
    Sep 6 '18 at 15:09


















4















I installed and am trying to get started with NixOS, and am trying to add my user to the sudoers file.



So that I'm not running all my commands as root I created a user following Chapter 7. User Management of the NixOS manual. That is, I ran



# useradd -m matthew
# su - matthew -c "true"
# passwd matthew
Enter new UNIX password: ***
Retype new UNIX password: ***


And also I added



users.extraUsers.matthew = {
isNormalUser = true;
home = "/home/matthew";
extragroups = [ "wheel" "networkmanager" ];
}


to /etc/nixos/configuration.nix. But still I am not able to run sudo as matthew.
For example, when I try to open sudo's man page with sudo, I get the matthew is not in the sudoers file error.



$ sudo man sudo
[sudo] password for matthew:
matthew is not in the sudoers file. This incident will be reported.


Then I tried following advice on how to add a user to the sudoers file in other distributions, namely editing with $ visudo. But when I run that, nixos tells me not to edit that file. That is, running



$ visudo


opens /etc/sudoers.tmp with first line reading



# Don't edit this file. Set the NixOS option ‘security.sudo.configFile’ instead.


How do I set the NixOS option ‘security.sudo.configFile’?










share|improve this question

























  • Breadcrumb: nixos.org/nixos/manual/#sec-user-management

    – Jeff Schaller
    Jul 9 '17 at 23:33











  • @JeffSchaller thanks for the comment; I've tried following the instructions on that page. That is, I added the 'users.extraUsers.matthew' block to my '/etc/nixos/configuration.nix' and also ran 'useradd -m matthew' and 'su - alice -c "true"', and set password and all. Still getting the 'not in sudoers file' error.

    – mherzl
    Jul 10 '17 at 0:52













  • It's odd that this doesn't work. I happen to be working with a fresh NixOS install today, and adding "wheel" to extraGroups worked just fine. Note that it's extraGroups and not extragroups.

    – shadowtalker
    Sep 6 '18 at 15:09
















4












4








4








I installed and am trying to get started with NixOS, and am trying to add my user to the sudoers file.



So that I'm not running all my commands as root I created a user following Chapter 7. User Management of the NixOS manual. That is, I ran



# useradd -m matthew
# su - matthew -c "true"
# passwd matthew
Enter new UNIX password: ***
Retype new UNIX password: ***


And also I added



users.extraUsers.matthew = {
isNormalUser = true;
home = "/home/matthew";
extragroups = [ "wheel" "networkmanager" ];
}


to /etc/nixos/configuration.nix. But still I am not able to run sudo as matthew.
For example, when I try to open sudo's man page with sudo, I get the matthew is not in the sudoers file error.



$ sudo man sudo
[sudo] password for matthew:
matthew is not in the sudoers file. This incident will be reported.


Then I tried following advice on how to add a user to the sudoers file in other distributions, namely editing with $ visudo. But when I run that, nixos tells me not to edit that file. That is, running



$ visudo


opens /etc/sudoers.tmp with first line reading



# Don't edit this file. Set the NixOS option ‘security.sudo.configFile’ instead.


How do I set the NixOS option ‘security.sudo.configFile’?










share|improve this question
















I installed and am trying to get started with NixOS, and am trying to add my user to the sudoers file.



So that I'm not running all my commands as root I created a user following Chapter 7. User Management of the NixOS manual. That is, I ran



# useradd -m matthew
# su - matthew -c "true"
# passwd matthew
Enter new UNIX password: ***
Retype new UNIX password: ***


And also I added



users.extraUsers.matthew = {
isNormalUser = true;
home = "/home/matthew";
extragroups = [ "wheel" "networkmanager" ];
}


to /etc/nixos/configuration.nix. But still I am not able to run sudo as matthew.
For example, when I try to open sudo's man page with sudo, I get the matthew is not in the sudoers file error.



$ sudo man sudo
[sudo] password for matthew:
matthew is not in the sudoers file. This incident will be reported.


Then I tried following advice on how to add a user to the sudoers file in other distributions, namely editing with $ visudo. But when I run that, nixos tells me not to edit that file. That is, running



$ visudo


opens /etc/sudoers.tmp with first line reading



# Don't edit this file. Set the NixOS option ‘security.sudo.configFile’ instead.


How do I set the NixOS option ‘security.sudo.configFile’?







nixos






share|improve this question















share|improve this question













share|improve this question




share|improve this question








edited Jul 10 '17 at 0:31







mherzl

















asked Jul 9 '17 at 21:29









mherzlmherzl

415318




415318













  • Breadcrumb: nixos.org/nixos/manual/#sec-user-management

    – Jeff Schaller
    Jul 9 '17 at 23:33











  • @JeffSchaller thanks for the comment; I've tried following the instructions on that page. That is, I added the 'users.extraUsers.matthew' block to my '/etc/nixos/configuration.nix' and also ran 'useradd -m matthew' and 'su - alice -c "true"', and set password and all. Still getting the 'not in sudoers file' error.

    – mherzl
    Jul 10 '17 at 0:52













  • It's odd that this doesn't work. I happen to be working with a fresh NixOS install today, and adding "wheel" to extraGroups worked just fine. Note that it's extraGroups and not extragroups.

    – shadowtalker
    Sep 6 '18 at 15:09





















  • Breadcrumb: nixos.org/nixos/manual/#sec-user-management

    – Jeff Schaller
    Jul 9 '17 at 23:33











  • @JeffSchaller thanks for the comment; I've tried following the instructions on that page. That is, I added the 'users.extraUsers.matthew' block to my '/etc/nixos/configuration.nix' and also ran 'useradd -m matthew' and 'su - alice -c "true"', and set password and all. Still getting the 'not in sudoers file' error.

    – mherzl
    Jul 10 '17 at 0:52













  • It's odd that this doesn't work. I happen to be working with a fresh NixOS install today, and adding "wheel" to extraGroups worked just fine. Note that it's extraGroups and not extragroups.

    – shadowtalker
    Sep 6 '18 at 15:09



















Breadcrumb: nixos.org/nixos/manual/#sec-user-management

– Jeff Schaller
Jul 9 '17 at 23:33





Breadcrumb: nixos.org/nixos/manual/#sec-user-management

– Jeff Schaller
Jul 9 '17 at 23:33













@JeffSchaller thanks for the comment; I've tried following the instructions on that page. That is, I added the 'users.extraUsers.matthew' block to my '/etc/nixos/configuration.nix' and also ran 'useradd -m matthew' and 'su - alice -c "true"', and set password and all. Still getting the 'not in sudoers file' error.

– mherzl
Jul 10 '17 at 0:52







@JeffSchaller thanks for the comment; I've tried following the instructions on that page. That is, I added the 'users.extraUsers.matthew' block to my '/etc/nixos/configuration.nix' and also ran 'useradd -m matthew' and 'su - alice -c "true"', and set password and all. Still getting the 'not in sudoers file' error.

– mherzl
Jul 10 '17 at 0:52















It's odd that this doesn't work. I happen to be working with a fresh NixOS install today, and adding "wheel" to extraGroups worked just fine. Note that it's extraGroups and not extragroups.

– shadowtalker
Sep 6 '18 at 15:09







It's odd that this doesn't work. I happen to be working with a fresh NixOS install today, and adding "wheel" to extraGroups worked just fine. Note that it's extraGroups and not extragroups.

– shadowtalker
Sep 6 '18 at 15:09












3 Answers
3






active

oldest

votes


















3














Firstly, adding the user with useradd and editing users.extraUsers is redundant. I've never bothered with useradd on NixOS.



As for the sudo configuration, what you do is set the attribute to a string containing what you'd normally put into sudoers.



...
security.sudo.configFile = ''
Sudoers config goes here
''
...





share|improve this answer
























  • Thank you. I added "security.sudo.configFile = ''%wheel ALL=(ALL) ALL''" to /etc/nixos/configuration.nix and that did not work, but then I ran the command "$ usermod -a -G matthew wheel" and that did work.

    – mherzl
    Jul 10 '17 at 4:06



















2














My guess is that in your case, the problem comes from the fact that you created the same user both imperatively (with useradd) and declaratively (in configuration.nix).



First of all, make sure that you run nixos-rebuild switch after each change to /etc/nixos/configuration.nix. Second, if that is not enough, it is probably that the options that you passed declaratively cannot be used given that the user was already created. In which case, removing the user first and running nixos-rebuild switch then should solve the issue.






share|improve this answer
























  • Might be needed to log out/in or at least open a new login shell too? In my experience that's often needed for changes that involve group changes.

    – olejorgenb
    Jul 10 '17 at 14:11











  • Indeed, that's probably the case. On a fast laptop, I would even consider doing nixos-rebuild boot followed by reboot.

    – Zimm i48
    Jul 10 '17 at 14:16











  • Thank you @Zimmi48. I was rebooting after each change to /etc/nixos/configuration.nix, but running 'nixos-rebuild switch' is much faster. And also, from the output I was able to identify a syntax error in my .../configuration.nix which seemed to be causing my user to not be added to the wheel group.

    – mherzl
    Jul 10 '17 at 17:09













  • Note that rebooting alone doesn't do any good. It needs to be preceded by nixos-rebuild boot or nixos-rebuild switch

    – Zimm i48
    Jul 10 '17 at 17:11



















0














Adding a user to the wheel group should be sufficient to gain sudo privileges.



After you've added a user to a new linux group, you need to logout and login those users, for those changes to take effect (new group).






share|improve this answer























    Your Answer








    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "106"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: false,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: null,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2funix.stackexchange.com%2fquestions%2f377362%2fin-nixos-how-to-add-a-user-to-the-sudoers-file%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    3 Answers
    3






    active

    oldest

    votes








    3 Answers
    3






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    3














    Firstly, adding the user with useradd and editing users.extraUsers is redundant. I've never bothered with useradd on NixOS.



    As for the sudo configuration, what you do is set the attribute to a string containing what you'd normally put into sudoers.



    ...
    security.sudo.configFile = ''
    Sudoers config goes here
    ''
    ...





    share|improve this answer
























    • Thank you. I added "security.sudo.configFile = ''%wheel ALL=(ALL) ALL''" to /etc/nixos/configuration.nix and that did not work, but then I ran the command "$ usermod -a -G matthew wheel" and that did work.

      – mherzl
      Jul 10 '17 at 4:06
















    3














    Firstly, adding the user with useradd and editing users.extraUsers is redundant. I've never bothered with useradd on NixOS.



    As for the sudo configuration, what you do is set the attribute to a string containing what you'd normally put into sudoers.



    ...
    security.sudo.configFile = ''
    Sudoers config goes here
    ''
    ...





    share|improve this answer
























    • Thank you. I added "security.sudo.configFile = ''%wheel ALL=(ALL) ALL''" to /etc/nixos/configuration.nix and that did not work, but then I ran the command "$ usermod -a -G matthew wheel" and that did work.

      – mherzl
      Jul 10 '17 at 4:06














    3












    3








    3







    Firstly, adding the user with useradd and editing users.extraUsers is redundant. I've never bothered with useradd on NixOS.



    As for the sudo configuration, what you do is set the attribute to a string containing what you'd normally put into sudoers.



    ...
    security.sudo.configFile = ''
    Sudoers config goes here
    ''
    ...





    share|improve this answer













    Firstly, adding the user with useradd and editing users.extraUsers is redundant. I've never bothered with useradd on NixOS.



    As for the sudo configuration, what you do is set the attribute to a string containing what you'd normally put into sudoers.



    ...
    security.sudo.configFile = ''
    Sudoers config goes here
    ''
    ...






    share|improve this answer












    share|improve this answer



    share|improve this answer










    answered Jul 10 '17 at 1:35









    Emmanuel RosaEmmanuel Rosa

    3,1201612




    3,1201612













    • Thank you. I added "security.sudo.configFile = ''%wheel ALL=(ALL) ALL''" to /etc/nixos/configuration.nix and that did not work, but then I ran the command "$ usermod -a -G matthew wheel" and that did work.

      – mherzl
      Jul 10 '17 at 4:06



















    • Thank you. I added "security.sudo.configFile = ''%wheel ALL=(ALL) ALL''" to /etc/nixos/configuration.nix and that did not work, but then I ran the command "$ usermod -a -G matthew wheel" and that did work.

      – mherzl
      Jul 10 '17 at 4:06

















    Thank you. I added "security.sudo.configFile = ''%wheel ALL=(ALL) ALL''" to /etc/nixos/configuration.nix and that did not work, but then I ran the command "$ usermod -a -G matthew wheel" and that did work.

    – mherzl
    Jul 10 '17 at 4:06





    Thank you. I added "security.sudo.configFile = ''%wheel ALL=(ALL) ALL''" to /etc/nixos/configuration.nix and that did not work, but then I ran the command "$ usermod -a -G matthew wheel" and that did work.

    – mherzl
    Jul 10 '17 at 4:06













    2














    My guess is that in your case, the problem comes from the fact that you created the same user both imperatively (with useradd) and declaratively (in configuration.nix).



    First of all, make sure that you run nixos-rebuild switch after each change to /etc/nixos/configuration.nix. Second, if that is not enough, it is probably that the options that you passed declaratively cannot be used given that the user was already created. In which case, removing the user first and running nixos-rebuild switch then should solve the issue.






    share|improve this answer
























    • Might be needed to log out/in or at least open a new login shell too? In my experience that's often needed for changes that involve group changes.

      – olejorgenb
      Jul 10 '17 at 14:11











    • Indeed, that's probably the case. On a fast laptop, I would even consider doing nixos-rebuild boot followed by reboot.

      – Zimm i48
      Jul 10 '17 at 14:16











    • Thank you @Zimmi48. I was rebooting after each change to /etc/nixos/configuration.nix, but running 'nixos-rebuild switch' is much faster. And also, from the output I was able to identify a syntax error in my .../configuration.nix which seemed to be causing my user to not be added to the wheel group.

      – mherzl
      Jul 10 '17 at 17:09













    • Note that rebooting alone doesn't do any good. It needs to be preceded by nixos-rebuild boot or nixos-rebuild switch

      – Zimm i48
      Jul 10 '17 at 17:11
















    2














    My guess is that in your case, the problem comes from the fact that you created the same user both imperatively (with useradd) and declaratively (in configuration.nix).



    First of all, make sure that you run nixos-rebuild switch after each change to /etc/nixos/configuration.nix. Second, if that is not enough, it is probably that the options that you passed declaratively cannot be used given that the user was already created. In which case, removing the user first and running nixos-rebuild switch then should solve the issue.






    share|improve this answer
























    • Might be needed to log out/in or at least open a new login shell too? In my experience that's often needed for changes that involve group changes.

      – olejorgenb
      Jul 10 '17 at 14:11











    • Indeed, that's probably the case. On a fast laptop, I would even consider doing nixos-rebuild boot followed by reboot.

      – Zimm i48
      Jul 10 '17 at 14:16











    • Thank you @Zimmi48. I was rebooting after each change to /etc/nixos/configuration.nix, but running 'nixos-rebuild switch' is much faster. And also, from the output I was able to identify a syntax error in my .../configuration.nix which seemed to be causing my user to not be added to the wheel group.

      – mherzl
      Jul 10 '17 at 17:09













    • Note that rebooting alone doesn't do any good. It needs to be preceded by nixos-rebuild boot or nixos-rebuild switch

      – Zimm i48
      Jul 10 '17 at 17:11














    2












    2








    2







    My guess is that in your case, the problem comes from the fact that you created the same user both imperatively (with useradd) and declaratively (in configuration.nix).



    First of all, make sure that you run nixos-rebuild switch after each change to /etc/nixos/configuration.nix. Second, if that is not enough, it is probably that the options that you passed declaratively cannot be used given that the user was already created. In which case, removing the user first and running nixos-rebuild switch then should solve the issue.






    share|improve this answer













    My guess is that in your case, the problem comes from the fact that you created the same user both imperatively (with useradd) and declaratively (in configuration.nix).



    First of all, make sure that you run nixos-rebuild switch after each change to /etc/nixos/configuration.nix. Second, if that is not enough, it is probably that the options that you passed declaratively cannot be used given that the user was already created. In which case, removing the user first and running nixos-rebuild switch then should solve the issue.







    share|improve this answer












    share|improve this answer



    share|improve this answer










    answered Jul 10 '17 at 12:15









    Zimm i48Zimm i48

    38119




    38119













    • Might be needed to log out/in or at least open a new login shell too? In my experience that's often needed for changes that involve group changes.

      – olejorgenb
      Jul 10 '17 at 14:11











    • Indeed, that's probably the case. On a fast laptop, I would even consider doing nixos-rebuild boot followed by reboot.

      – Zimm i48
      Jul 10 '17 at 14:16











    • Thank you @Zimmi48. I was rebooting after each change to /etc/nixos/configuration.nix, but running 'nixos-rebuild switch' is much faster. And also, from the output I was able to identify a syntax error in my .../configuration.nix which seemed to be causing my user to not be added to the wheel group.

      – mherzl
      Jul 10 '17 at 17:09













    • Note that rebooting alone doesn't do any good. It needs to be preceded by nixos-rebuild boot or nixos-rebuild switch

      – Zimm i48
      Jul 10 '17 at 17:11



















    • Might be needed to log out/in or at least open a new login shell too? In my experience that's often needed for changes that involve group changes.

      – olejorgenb
      Jul 10 '17 at 14:11











    • Indeed, that's probably the case. On a fast laptop, I would even consider doing nixos-rebuild boot followed by reboot.

      – Zimm i48
      Jul 10 '17 at 14:16











    • Thank you @Zimmi48. I was rebooting after each change to /etc/nixos/configuration.nix, but running 'nixos-rebuild switch' is much faster. And also, from the output I was able to identify a syntax error in my .../configuration.nix which seemed to be causing my user to not be added to the wheel group.

      – mherzl
      Jul 10 '17 at 17:09













    • Note that rebooting alone doesn't do any good. It needs to be preceded by nixos-rebuild boot or nixos-rebuild switch

      – Zimm i48
      Jul 10 '17 at 17:11

















    Might be needed to log out/in or at least open a new login shell too? In my experience that's often needed for changes that involve group changes.

    – olejorgenb
    Jul 10 '17 at 14:11





    Might be needed to log out/in or at least open a new login shell too? In my experience that's often needed for changes that involve group changes.

    – olejorgenb
    Jul 10 '17 at 14:11













    Indeed, that's probably the case. On a fast laptop, I would even consider doing nixos-rebuild boot followed by reboot.

    – Zimm i48
    Jul 10 '17 at 14:16





    Indeed, that's probably the case. On a fast laptop, I would even consider doing nixos-rebuild boot followed by reboot.

    – Zimm i48
    Jul 10 '17 at 14:16













    Thank you @Zimmi48. I was rebooting after each change to /etc/nixos/configuration.nix, but running 'nixos-rebuild switch' is much faster. And also, from the output I was able to identify a syntax error in my .../configuration.nix which seemed to be causing my user to not be added to the wheel group.

    – mherzl
    Jul 10 '17 at 17:09







    Thank you @Zimmi48. I was rebooting after each change to /etc/nixos/configuration.nix, but running 'nixos-rebuild switch' is much faster. And also, from the output I was able to identify a syntax error in my .../configuration.nix which seemed to be causing my user to not be added to the wheel group.

    – mherzl
    Jul 10 '17 at 17:09















    Note that rebooting alone doesn't do any good. It needs to be preceded by nixos-rebuild boot or nixos-rebuild switch

    – Zimm i48
    Jul 10 '17 at 17:11





    Note that rebooting alone doesn't do any good. It needs to be preceded by nixos-rebuild boot or nixos-rebuild switch

    – Zimm i48
    Jul 10 '17 at 17:11











    0














    Adding a user to the wheel group should be sufficient to gain sudo privileges.



    After you've added a user to a new linux group, you need to logout and login those users, for those changes to take effect (new group).






    share|improve this answer




























      0














      Adding a user to the wheel group should be sufficient to gain sudo privileges.



      After you've added a user to a new linux group, you need to logout and login those users, for those changes to take effect (new group).






      share|improve this answer


























        0












        0








        0







        Adding a user to the wheel group should be sufficient to gain sudo privileges.



        After you've added a user to a new linux group, you need to logout and login those users, for those changes to take effect (new group).






        share|improve this answer













        Adding a user to the wheel group should be sufficient to gain sudo privileges.



        After you've added a user to a new linux group, you need to logout and login those users, for those changes to take effect (new group).







        share|improve this answer












        share|improve this answer



        share|improve this answer










        answered 3 hours ago









        Chris StryczynskiChris Stryczynski

        579419




        579419






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Unix & Linux Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2funix.stackexchange.com%2fquestions%2f377362%2fin-nixos-how-to-add-a-user-to-the-sudoers-file%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            サソリ

            広島県道265号伴広島線

            Setup Asymptote in Texstudio