Dziś rano udało mi się rozwiązać denerwujący “problem” plików, których nie mogę usunąć z kosza w moim Ubuntu. Standardowa metoda działania jest prosta: to chyba wszyscy znają ;) sudo rm -R /folder/kosza/* Problemem stała się owa tajemnicza lokalizacja folderu kosza w Ubuntu. W starszych wersjach systemu znajdował się on po prostu w ~/.Trash jednak od [...]
Menu Miejsca w Gnome pozwala nam szybko dotrzeć do konkretnych folderów i dysków w systemie. Jest to niezwykle przydatny element środowiska graficznego, jednak zawsze mi czegoś w nim brakowało. Tym małym “cosiem” jest folder Downloads, którego nie przewidziano w domyślnej konfiguracji Ubuntu. Dodanie takiego folderu w katalogu domowym to jedno kliknięcie, niestety taki zabieg nie [...]
W tym semestrze na uczelni mam programowanie równoległe. Ostatnio przerabiamy zagadnienia związane z OpenMP i MPI. Niestety sposób instalacji i konfiguracji tych rozszerzeń w szczegółowy sposób został wyjaśniony tylko i wyłącznie pod windowsem. Dlatego, mimo niewielkiej ilości wolnego czasu, postanowiłem napisać tą notkę. Może zostanie gdzieś podlinkowana i przyda się komuś w przyszłości. Zanim zaczniemy [...]
Większość zaliczeń za mną, zostały mi 2 egzaminy i kolos. Mam teraz trochę czasu i dlatego, tak jak obiecywałem, napiszę coś o konfigurowaniu dodatkowych przycisków klawiatury multimedialnej pod Ubuntu. Podstawowy sposób konfiguracji został nam dostarczony przez programistów Ubuntu. Narzędzie nazywa się Skróty klawiaturowe (System -> Preferencja -> Skróty klawiaturowe). Konfigurowanie skrótów jest tam tak proste, [...]
