Advertisement
If you have a new account but are having problems posting or verifying your account, please email us on hello@boards.ie for help. Thanks :)
Hello all! Please ensure that you are posting a new thread or question in the appropriate forum. The Feedback forum is overwhelmed with questions that are having to be moved elsewhere. If you need help to verify your account contact hello@boards.ie
Hi there,
There is an issue with role permissions that is being worked on at the moment.
If you are having trouble with access or permissions on regional forums please post here to get access: https://www.boards.ie/discussion/2058365403/you-do-not-have-permission-for-that#latest

Linux repositories

  • 26-10-2010 8:13am
    #1
    Closed Accounts Posts: 649 ✭✭✭


    Does anyone know if it's possible to connect to the linux repositories in UCD? Ive tried the update manager, but it wont download at all. Thanks:)


Comments

  • Registered Users, Registered Users 2 Posts: 13,076 ✭✭✭✭bnt


    You have to use HTTP (not FTP) and go through the Proxy . I don't know much about Ubuntu's Update Manager, and recommend you try Synaptic: in there you go to Settings / Preferences / Network / Manual Proxy - and enter proxy.ucd.ie port 8484.

    optional for the geeky: If you want to use terminal commands such as apt-get, the easiest way is to create a settings file. I put the following in ~/ucd.conf:
    Acquire::http::proxy "http://proxy.ucd.ie:8484/";
    Acquire::ftp::proxy "ftp://proxy.ucd.ie:8484/";
    Acquire::https::proxy "https://proxy.ucd.ie:8484/";
    
    Then I can run:
    sudo apt-get -c ~/ucd.conf update
    to update from the repositories etc.

    You are the type of what the age is searching for, and what it is afraid it has found. I am so glad that you have never done anything, never carved a statue, or painted a picture, or produced anything outside of yourself! Life has been your art. You have set yourself to music. Your days are your sonnets.

    ―Oscar Wilde predicting Social Media, in The Picture of Dorian Gray



  • Registered Users, Registered Users 2 Posts: 213 ✭✭Hoku


    Or find a location with eduroam and update as normal. :)
    Of course the first option would be more suitable if you were updating on a desktop/server :P


Advertisement